]> matita.cs.unibo.it Git - helm.git/commit
get rid of gragrep, matitamake(Lib) and development windows,
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 5 Jan 2008 15:43:47 +0000 (15:43 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 5 Jan 2008 15:43:47 +0000 (15:43 +0000)
commit3c7cfd710f472bd56ba430cac8d2fa794eaecfe3
tree2dd0ab8a7a2fb40f5ef606f2af933080b0d55b57
parentfa0347cc0a604ba8743da9479117e1f13ab60482
get rid of gragrep, matitamake(Lib) and development windows,
added a tutor to create a root file
22 files changed:
components/library/librarian.ml
components/library/librarian.mli
matita/.depend
matita/Makefile
matita/gragrep.ml [deleted file]
matita/gragrep.mli [deleted file]
matita/matita.glade
matita/matita.ml
matita/matitaGui.ml
matita/matitaGuiTypes.mli
matita/matitaInit.ml
matita/matitaMathView.ml
matita/matitaScript.ml
matita/matitaScript.mli
matita/matitaTypes.ml
matita/matitaTypes.mli
matita/matitac.ml
matita/matitadep.ml
matita/matitamake.ml [deleted file]
matita/matitamake.mli [deleted file]
matita/matitamakeLib.ml [deleted file]
matita/matitamakeLib.mli [deleted file]