]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7703897) | patch
* Part of matita that used to deal with the library moved into ocaml/library
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 29 Nov 2005 14:53:34 +0000 (14:53 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 29 Nov 2005 14:53:34 +0000 (14:53 +0000)
commit0ac236dda6f80f6dc86a7f12d8c88b25e64e3251
treee426ba5392ec41491048f3d23083a95ecb05a1e7tree | snapshot
parent7703897d2b14dd101c763a4aa6d99b7cc95011d1commit | diff
* Part of matita that used to deal with the library moved into ocaml/library
* cic_unification/coercDb.ml* ==> library/coercDb.ml*
59 files changed:
helm/matita/.depend diff | blob | history
helm/matita/Makefile.in diff | blob | history
helm/matita/dump_moo.ml diff | blob | history
helm/matita/matita.ml diff | blob | history
helm/matita/matita.txt diff | blob | history
helm/matita/matitaDb.ml [deleted file] blob | history
helm/matita/matitaDb.mli [deleted file] blob | history
helm/matita/matitaEngine.ml diff | blob | history
helm/matita/matitaExcPp.ml diff | blob | history
helm/matita/matitaGui.ml diff | blob | history
helm/matita/matitaGuiTypes.mli diff | blob | history
helm/matita/matitaInit.ml diff | blob | history
helm/matita/matitaLog.ml [deleted file] blob | history
helm/matita/matitaLog.mli [deleted file] blob | history
helm/matita/matitaMathView.ml diff | blob | history
helm/matita/matitaMisc.ml diff | blob | history
helm/matita/matitaMisc.mli diff | blob | history
helm/matita/matitaMoo.ml [deleted file] blob | history
helm/matita/matitaMoo.mli [deleted file] blob | history
helm/matita/matitaScript.ml diff | blob | history
helm/matita/matitaSync.ml diff | blob | history
helm/matita/matitaSync.mli diff | blob | history
helm/matita/matitaTypes.ml diff | blob | history
helm/matita/matitaTypes.mli diff | blob | history
helm/matita/matitacLib.ml diff | blob | history
helm/matita/matitaclean.ml diff | blob | history
helm/matita/matitacleanLib.ml [deleted file] blob | history
helm/matita/matitacleanLib.mli [deleted file] blob | history
helm/matita/matitadep.ml diff | blob | history
helm/matita/matitamakeLib.ml diff | blob | history
helm/ocaml/METAS/meta.helm-cic_unification.src diff | blob | history
helm/ocaml/METAS/meta.helm-library.src [new file with mode: 0644] blob
helm/ocaml/Makefile.in diff | blob | history
helm/ocaml/cic_unification/.depend diff | blob | history
helm/ocaml/cic_unification/Makefile diff | blob | history
helm/ocaml/cic_unification/coercDb.ml [deleted file] blob | history
helm/ocaml/cic_unification/coercDb.mli [deleted file] blob | history
helm/ocaml/extlib/.depend diff | blob | history
helm/ocaml/extlib/Makefile diff | blob | history
helm/ocaml/extlib/hExtlib.ml diff | blob | history
helm/ocaml/extlib/hExtlib.mli diff | blob | history
helm/ocaml/extlib/hLog.ml [new file with mode: 0644] blob
helm/ocaml/extlib/hLog.mli [new file with mode: 0644] blob
helm/ocaml/grafite/.depend diff | blob | history
helm/ocaml/grafite/Makefile diff | blob | history
helm/ocaml/grafite/grafiteMarshal.ml [new file with mode: 0644] blob
helm/ocaml/grafite/grafiteMarshal.mli [new file with mode: 0644] blob
helm/ocaml/library/.cvsignore [new file with mode: 0644] blob
helm/ocaml/library/Makefile [new file with mode: 0644] blob
helm/ocaml/library/coercDb.ml [new file with mode: 0644] blob
helm/ocaml/library/coercDb.mli [new file with mode: 0644] blob
helm/ocaml/library/libraryClean.ml [new file with mode: 0644] blob
helm/ocaml/library/libraryClean.mli [new file with mode: 0644] blob
helm/ocaml/library/libraryDb.ml [new file with mode: 0644] blob
helm/ocaml/library/libraryDb.mli [new file with mode: 0644] blob
helm/ocaml/library/libraryMisc.ml [new file with mode: 0644] blob
helm/ocaml/library/libraryMisc.mli [new file with mode: 0644] blob
helm/ocaml/library/librarySync.ml [new file with mode: 0644] blob
helm/ocaml/library/librarySync.mli [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.