]> matita.cs.unibo.it Git - helm.git/commit
- sync with the new ApplyTransformation API
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 21 Jan 2005 11:52:24 +0000 (11:52 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 21 Jan 2005 11:52:24 +0000 (11:52 +0000)
commit18bd1d094e9227822ea8c0fa4f9668cd8752236f
treec2f771d48c548ef095606e65074af02a808bbbae
parent10be6b9fb25a5bcd8721f707beba4b8a125591b5
- sync with the new ApplyTransformation API
helm/gTopLevel/.depend
helm/gTopLevel/configure.ac
helm/gTopLevel/gTopLevel.ml
helm/gTopLevel/proofEngine.ml
helm/gTopLevel/termViewer.ml
helm/gTopLevel/termViewer.mli
helm/matita/matitaMathView.ml