]> matita.cs.unibo.it Git - helm.git/commit
sequent_viewer.xml & co are now generated in /tmp if necessary!
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Oct 2006 11:33:14 +0000 (11:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 3 Oct 2006 11:33:14 +0000 (11:33 +0000)
commitd9b1b28f58a4aa2fc51b727af4f80929e18fc9ed
tree437da4d84f2dd35c193e1854f8fc40e4639af294
parent9b3572c135e272c508da7bc599ce187351917bf4
sequent_viewer.xml & co are now generated in /tmp if necessary!
helm/software/matita/matitaMathView.ml