]> matita.cs.unibo.it Git - helm.git/commit
snapshot, notably:
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Jan 2005 09:40:48 +0000 (09:40 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Jan 2005 09:40:48 +0000 (09:40 +0000)
commite3c0cc9893402419e363ad6616a599f194438273
tree6ef9a12be8093859c6e6cc05db5ae7331db4f38d
parentf13dfdf18b6dcf7f9253cbd109e49891fba6fbc0
snapshot, notably:
- attributes support
- new ApplyTransformation interface
- simil-coma commit, browser is partially implemented :(
13 files changed:
helm/matita/buildTimeConf.ml.in
helm/matita/matita.conf.xml.sample
helm/matita/matita.glade
helm/matita/matita.ml
helm/matita/matitaCicMisc.ml
helm/matita/matitaGeneratedGui.ml
helm/matita/matitaGeneratedGui.mli
helm/matita/matitaGui.ml
helm/matita/matitaGui.mli
helm/matita/matitaInterpreter.ml
helm/matita/matitaMathView.ml
helm/matita/matitaMathView.mli
helm/matita/matitac.ml