]> matita.cs.unibo.it Git - helm.git/commit
new configure.ac with support for compile time configuration of termeditor/parser/...
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 24 Jan 2004 12:33:42 +0000 (12:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 24 Jan 2004 12:33:42 +0000 (12:33 +0000)
commitb47cc46a43c12a5827d79e95c9d6c2287ee9a400
tree67adba9462513158ffbd5992604048906598a516
parentf71aafaaa510ad5e484560c5af47f4c4f6015219
new configure.ac with support for compile time configuration of termeditor/parser/...
helm/ocaml/configure.ac [new file with mode: 0644]
helm/ocaml/configure.in [deleted file]