]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a7c127e) | patch
added "gragrep", grep-like tool over a bunch of grafite scripts
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 23 Feb 2006 21:35:38 +0000 (21:35 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 23 Feb 2006 21:35:38 +0000 (21:35 +0000)
commit908c9a60083706cffe3ca1c9d235a05d38a19516
treeaa39d4a7afa90d4e94c18dfcd4eb1c511b8c627etree | snapshot
parenta7c127e864bb78e17bdfc2ba6e113a032b4df618commit | diff
added "gragrep", grep-like tool over a bunch of grafite scripts
helm/software/matita/.depend diff | blob | history
helm/software/matita/Makefile diff | blob | history
helm/software/matita/gragrep.ml [new file with mode: 0644] blob
helm/software/matita/gragrep.mli [new file with mode: 0644] blob
helm/software/matita/matitac.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.