]> matita.cs.unibo.it Git - helm.git/commit - helm/matita/matitamakeLib.ml
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da85bc7) | patch
release snapshot
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:13:40 +0000 (15:13 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 15:13:40 +0000 (15:13 +0000)
commitf28480139ee72d092a9405619c3bdf6d4ff155ee
tree2eefe9c2126d4a35e41b2007cf130f7785390ad8tree | snapshot
parentda85bc7d139566aa819c8e922d01b2e476ff6990commit | diff
release snapshot
- split of multiple matita conffiles (users vs developers)
- removed no longer needed keys in conffiles
- commented conffiles entries
- made matitaInit.ml more like other matita tools (still a lot to do ...)
- save .xml debugging files only if debug is enabled
- ...
14 files changed:
helm/matita/Makefile diff | blob | history
helm/matita/matita.conf.xml [new symlink] blob
helm/matita/matita.conf.xml.build.in [new file with mode: 0644] blob
helm/matita/matita.conf.xml.devel.in [new file with mode: 0644] blob
helm/matita/matita.conf.xml.sample.in [deleted file] blob | history
helm/matita/matita.conf.xml.user.in [new file with mode: 0644] blob
helm/matita/matitaInit.ml diff | blob | history
helm/matita/matitaInit.mli diff | blob | history
helm/matita/matitaMathView.ml diff | blob | history
helm/matita/matitacLib.ml diff | blob | history
helm/matita/matitadep.ml diff | blob | history
helm/matita/matitamake.ml diff | blob | history
helm/matita/matitamakeLib.ml diff | blob | history
helm/matita/template_makefile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.