]> matita.cs.unibo.it Git - helm.git/commit
new macro screenshot
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Sep 2009 11:30:42 +0000 (11:30 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Sep 2009 11:30:42 +0000 (11:30 +0000)
commitbee436af0c6ceb1c83259c94036df8b12f901f2d
tree84d307ff218b67582dac819e1da81a0b697463db
parent03e172581072389796cbc1d3e2d7b16956b95c8a
new macro screenshot
16 files changed:
helm/software/components/grafite/grafiteAst.ml
helm/software/components/grafite/grafiteAstPp.ml
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/matita/.depend
helm/software/matita/Makefile
helm/software/matita/matita.lang
helm/software/matita/matitaEngine.ml
helm/software/matita/matitaMathView.ml
helm/software/matita/matitaScript.ml
helm/software/matita/matitaTypes.ml
helm/software/matita/matitaTypes.mli
helm/software/matita/nlibrary/topology/Makefile [new file with mode: 0644]
helm/software/matita/nlibrary/topology/convert.awk [new file with mode: 0644]
helm/software/matita/nlibrary/topology/igft.ma
helm/software/matita/nlibrary/topology/postamble.xml [new file with mode: 0644]
helm/software/matita/nlibrary/topology/preamble.xml [new file with mode: 0644]