]> matita.cs.unibo.it Git - helm.git/commit
attached macros: hint(partial), check
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 28 Apr 2005 14:12:22 +0000 (14:12 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 28 Apr 2005 14:12:22 +0000 (14:12 +0000)
commit3b5b254f2faa600a14a837e95f94f953dc9959c7
tree55fe60037eadd36a4444d9183e71c8ea39657a8a
parent7e7ce7bb6b95e9bd10dc180671ba7512ff2537dd
attached macros: hint(partial), check
now matitaScript has a mathviewer to show terms...
helm/matita/matita.ml
helm/matita/matitaMathView.ml
helm/matita/matitaMathView.mli
helm/matita/matitaMisc.ml
helm/matita/matitaMisc.mli
helm/matita/matitaScript.ml
helm/matita/matitaScript.mli
helm/matita/matitaSync.ml
helm/matita/matitaTypes.ml