]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3705200) | patch
added alias for cic_textual_parser2
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 13 Oct 2004 09:45:16 +0000 (09:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 13 Oct 2004 09:45:16 +0000 (09:45 +0000)
commit1f8d68b6ceb45a53d2327a3aa5b1c1703388ed94
tree204c9e2928fc3073a5f6de4a28e21677b0f00112tree | snapshot
parent3705200c998538c28d8cd9d3ca557616837daf05commit | diff
added alias for cic_textual_parser2
helm/ocaml/METAS/meta.helm-disambiguator.src [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.