]> matita.cs.unibo.it Git - helm.git/commit
reverted
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 20 Nov 2008 15:54:16 +0000 (15:54 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 20 Nov 2008 15:54:16 +0000 (15:54 +0000)
commitcdb3befa0dbcb6754cb67b5aa8faae0677a720ef
treeb499e6b37dd99fdcb26605265ff1102172be4c33
parent6fbeff97e37927fd95b3aee3eb23b4309fc465c4
reverted
helm/software/matita/matitaMathView.ml