]> matita.cs.unibo.it Git - helm.git/commit
better UI for TeX/Unicode and terms grammar
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Jul 2008 10:47:19 +0000 (10:47 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 Jul 2008 10:47:19 +0000 (10:47 +0000)
commit691ab989638ff10484d96b3308b509fecd9ec1c3
tree2e4227d623471120ec29d232976dd9840ca6aa8e
parenta8ad55eb789b38c85c5581089308e349e4b0f1a3
better UI for TeX/Unicode and terms grammar
helm/software/matita/dist/ChangeLog
helm/software/matita/matita.glade
helm/software/matita/matitaGtkMisc.ml
helm/software/matita/matitaGtkMisc.mli
helm/software/matita/matitaGui.ml