]> matita.cs.unibo.it Git - helm.git/commit
more on screenshot
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Sep 2009 12:55:05 +0000 (12:55 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Sep 2009 12:55:05 +0000 (12:55 +0000)
commit4286d368b6d902a4b54c4cf8590c387f2cdb90ea
tree748e57e508a034245d0cfa342a45fbfa3f1be58d
parentbee436af0c6ceb1c83259c94036df8b12f901f2d
more on screenshot
helm/software/matita/matitaMathView.ml
helm/software/matita/matitaScript.ml
helm/software/matita/nlibrary/topology/Makefile
helm/software/matita/nlibrary/topology/convert.awk
helm/software/matita/nlibrary/topology/igft.ma
helm/software/matita/nlibrary/topology/preamble.xml