]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c7cfd7) | patch
some work on making the compiler command line cleaner,
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 5 Jan 2008 16:55:25 +0000 (16:55 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 5 Jan 2008 16:55:25 +0000 (16:55 +0000)
commitc780c9756b67d116b1d5b5149ae758fa613c5fe6
treeb6d4a9cb7e3d921ff1ccfd76fa78e43481606883tree | snapshot
parent3c7cfd710f472bd56ba430cac8d2fa794eaecfe3commit | diff
some work on making the compiler command line cleaner,
moved the .ma instantiation of the Make module in
matitacLib.
still not working:
  ./matitac library/nat/plus/ma
while should work:
  ../matitac nat/plus.ma
components/extlib/hExtlib.ml diff | blob | history
components/extlib/hExtlib.mli diff | blob | history
matita/library/depends [new file with mode: 0644] blob
matita/library/makefile [deleted file] blob | history
matita/library/root [new file with mode: 0644] blob
matita/matitaInit.ml diff | blob | history
matita/matitac.ml diff | blob | history
matita/matitacLib.ml diff | blob | history
matita/matitacLib.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.