]> matita.cs.unibo.it Git - helm.git/commit
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
tree2eefe9c2126d4a35e41b2007cf130f7785390ad8
parentda85bc7d139566aa819c8e922d01b2e476ff6990
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
helm/matita/matita.conf.xml [new symlink]
helm/matita/matita.conf.xml.build.in [new file with mode: 0644]
helm/matita/matita.conf.xml.devel.in [new file with mode: 0644]
helm/matita/matita.conf.xml.sample.in [deleted file]
helm/matita/matita.conf.xml.user.in [new file with mode: 0644]
helm/matita/matitaInit.ml
helm/matita/matitaInit.mli
helm/matita/matitaMathView.ml
helm/matita/matitacLib.ml
helm/matita/matitadep.ml
helm/matita/matitamake.ml
helm/matita/matitamakeLib.ml
helm/matita/template_makefile.in