]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a985685) | patch
Big changes:
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Jul 2005 13:29:52 +0000 (13:29 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 22 Jul 2005 13:29:52 +0000 (13:29 +0000)
commitefdb0db81ef2594a2aced0310997ef0d74462254
treed4cf0884dc4a5c08e8c2d403925a879c906fe3dftree | snapshot
parenta985685735f5700866e3a97234787c0a8ce2af95commit | diff
Big changes:
 1. the .moo files are now kept in the logical structure (i.e. in .matita/xml/*)
 2. matitaclean is now able to correctly remove all the .moo files
 3. the compilation target in library and tests is now foo.mo (it used to be
    foo.moo) and it is PHONY
13 files changed:
helm/matita/.depend diff | blob | history
helm/matita/library/Makefile diff | blob | history
helm/matita/matitaEngine.ml diff | blob | history
helm/matita/matitaMisc.ml diff | blob | history
helm/matita/matitaMisc.mli diff | blob | history
helm/matita/matitaScript.ml diff | blob | history
helm/matita/matitaclean.ml diff | blob | history
helm/matita/matitacleanLib.ml diff | blob | history
helm/matita/matitacleanLib.mli diff | blob | history
helm/matita/matitadep.ml diff | blob | history
helm/matita/matitamakeLib.ml diff | blob | history
helm/matita/template_makefile.in diff | blob | history
helm/matita/tests/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.