]> matita.cs.unibo.it Git - helm.git/commit
Huge commit for the release. Includes:
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 13 Mar 2006 12:20:25 +0000 (12:20 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 13 Mar 2006 12:20:25 +0000 (12:20 +0000)
commit5cb95a2e44f979183a8c3e39baa3b4e7cfaf8182
tree094a35837bbd1c01c879dd9ed8a9aaae322b873a
parent6f0fca547fdd3f4b57cee75d360262dc910f8854
Huge commit for the release. Includes:
- getter_storage modifications to honor multiple (overlapping)
  ro/rw repositories
- removes of ~basedir
- addition of the 'publish' matitamake command used to install in system
  tables/directory a development (that is compiling with -system)
- removal of .build,.user,.devel config files (only one is needed)
- fixed make dist/install to strip binaries, install the library with the new
  method
- fixed compilation of the getter daemon
- deletion of grafite misc that is no more needed
48 files changed:
Makefile
components/extlib/hExtlib.ml
components/getter/http_getter.ml
components/getter/http_getter.mli
components/getter/http_getter_storage.ml
components/getter/http_getter_storage.mli
components/grafite_engine/.depend
components/grafite_engine/Makefile
components/grafite_engine/grafiteEngine.ml
components/grafite_engine/grafiteMisc.ml [deleted file]
components/grafite_engine/grafiteMisc.mli [deleted file]
components/grafite_engine/grafiteSync.ml
components/grafite_engine/grafiteSync.mli
components/lexicon/lexiconEngine.ml
components/library/libraryClean.ml
components/library/libraryClean.mli
components/library/libraryDb.ml
components/library/libraryMisc.ml
components/library/libraryMisc.mli
components/library/librarySync.ml
components/library/librarySync.mli
components/metadata/sqlStatements.ml
components/metadata/sqlStatements.mli
components/urimanager/uriManager.ml
components/urimanager/uriManager.mli
configure.ac
daemons/http_getter/Makefile
daemons/http_getter/main.ml
matita/Makefile
matita/buildTimeConf.ml.in
matita/buildTimeConf.mli
matita/library/algebra/groups.ma
matita/matita.conf.xml [deleted symlink]
matita/matita.conf.xml.build.in [deleted file]
matita/matita.conf.xml.devel.in [deleted file]
matita/matita.conf.xml.in [new file with mode: 0644]
matita/matita.conf.xml.user.in [deleted file]
matita/matita.glade
matita/matitaGui.ml
matita/matitaInit.ml
matita/matitaScript.ml
matita/matitaScript.mli
matita/matitacLib.ml
matita/matitaclean.ml
matita/matitadep.ml
matita/matitamake.ml
matita/matitamakeLib.ml
matita/matitamakeLib.mli