]> matita.cs.unibo.it Git - helm.git/commit
non active but almost working implementation of \TeX macro substitution while colouring
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 8 Dec 2008 17:07:45 +0000 (17:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 8 Dec 2008 17:07:45 +0000 (17:07 +0000)
commit54ddd51bfebe9afc46db2eaa1a20ae971a467fd7
tree0b57e689b1dc050e4a56ee7754adb1bc7395c2fa
parenta850f7bd35147a327c26330447c3d1748a449d09
non active but almost working implementation of \TeX macro substitution while colouring
helm/software/matita/.depend
helm/software/matita/.depend.opt
helm/software/matita/Makefile
helm/software/matita/matitaScript.ml