]> matita.cs.unibo.it Git - helm.git/commit
added helmLibraryObjects.mli mention
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 21 Apr 2004 17:26:39 +0000 (17:26 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 21 Apr 2004 17:26:39 +0000 (17:26 +0000)
commitc36f0330eb500ade81392d254065048e3b1b677e
tree5bbaf944151163870f168c6ed35ebe21795c29de
parent27648d2118b1946f2c418b7a662387fb61f99cc6
added helmLibraryObjects.mli mention
helm/ocaml/cic/.depend
helm/ocaml/cic/Makefile