]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 25 Sep 2009 15:28:24 +0000 (15:28 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 25 Sep 2009 15:28:24 +0000 (15:28 +0000)
commit3cb42e0873c101c6c5a8b9967d765b5135882685
tree307699909093037c7fd0e6e1f5fa0789be4e84bc
parent8d321a03cf328b85fe7c084bb22685673633d2ee
...
helm/software/matita/matitaScript.ml
helm/software/matita/nlibrary/topology/convert.awk
helm/software/matita/nlibrary/topology/grafite.lang
helm/software/matita/nlibrary/topology/igft.ma
helm/software/matita/nlibrary/topology/preamble.xml
helm/software/matita/nlibrary/topology/sh_grafite.js