]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bb3130d) | patch
* new binary matitatop
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 28 Jun 2005 15:50:22 +0000 (15:50 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 28 Jun 2005 15:50:22 +0000 (15:50 +0000)
commit94c9255e1f3095440f4d49ea1d75443a5a343185
treef9e7cd41187240552b7808a841d68ec77d5e6c25tree | snapshot
parentbb3130d9da98e824a906175c4258b3d8ddd84dbdcommit | diff
* new binary matitatop
* command drop enabled for matitatop.
  Once dropped use MatitacLib.go () to enter again the matita toplevel.
  Use #trace and similar stuff for debugging.
  Add printers for abstract data types in matitatop.bootstrap

  Enjoy!
helm/matita/.depend diff | blob | history
helm/matita/Makefile.in diff | blob | history
helm/matita/matitaEngine.ml diff | blob | history
helm/matita/matitaEngine.mli diff | blob | history
helm/matita/matitaMathView.ml diff | blob | history
helm/matita/matitaMisc.ml diff | blob | history
helm/matita/matitac.ml diff | blob | history
helm/matita/matitacLib.ml [new file with mode: 0644] blob
helm/matita/matitacLib.mli [new file with mode: 0644] blob
helm/matita/matitatop.bootstrap [new file with mode: 0644] blob
helm/matita/matitatop.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.