]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e9230c) | patch
no longer builds by default tex_ and cic_textual_parser
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Oct 2004 12:57:07 +0000 (12:57 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Oct 2004 12:57:07 +0000 (12:57 +0000)
commita7eee845d4823b8672222f67f4b2d4b30a5a5c61
tree7d4e9e619112e170a06513d501e90d7feef68b53tree | snapshot
parent2e9230cc95280f928b15c624ee4564fffea56373commit | diff
no longer builds by default tex_ and cic_textual_parser
helm/ocaml/Makefile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.