]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 35a06fa) | patch
matitac now compiles like make (recorsively) if needed.
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 4 Jan 2008 16:32:27 +0000 (16:32 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 4 Jan 2008 16:32:27 +0000 (16:32 +0000)
commit5356519d50425dfca5b42ad5faeb2181d4240c78
tree749918cedb37fe1ead01cd3f00cfd37d60c6f942tree | snapshot
parent35a06fa8d6c2664301b59e77dcbff5bcfd4a5091commit | diff
matitac now compiles like make (recorsively) if needed.
baseuri is not a non optional field of the grafite status, since
you can always know it at the beginnig
20 files changed:
components/grafite_engine/grafiteEngine.ml diff | blob | history
components/grafite_engine/grafiteEngine.mli diff | blob | history
components/grafite_engine/grafiteSync.ml diff | blob | history
components/grafite_engine/grafiteSync.mli diff | blob | history
components/grafite_engine/grafiteTypes.ml diff | blob | history
components/grafite_engine/grafiteTypes.mli diff | blob | history
matita/.depend diff | blob | history
matita/Makefile diff | blob | history
matita/make.ml [new file with mode: 0644] blob
matita/make.mli [new file with mode: 0644] blob
matita/matitaEngine.ml diff | blob | history
matita/matitaEngine.mli diff | blob | history
matita/matitaExcPp.ml diff | blob | history
matita/matitaScript.ml diff | blob | history
matita/matitaWiki.ml diff | blob | history
matita/matitac.ml diff | blob | history
matita/matitacLib.ml diff | blob | history
matita/matitacLib.mli diff | blob | history
matita/matitadep.ml diff | blob | history
matita/matitaprover.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.