]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 36ec3af) | patch
moved the high level pretty printing setting to a toggle menu item of the View menu...
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Feb 2007 13:29:08 +0000 (13:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Feb 2007 13:29:08 +0000 (13:29 +0000)
commit3f51c80585241ec8edafadde1945d343ac66e334
tree7aeefebe05f69f9eac1566beab263157175c5d50tree | snapshot
parent36ec3af819e828bf847ba9ae2bff76d0b8ac08e7commit | diff
moved the high level pretty printing setting to a toggle menu item of the View menu (with CTRL-P shortcut)
helm/software/matita/matita.glade diff | blob | history
helm/software/matita/matita.ml diff | blob | history
helm/software/matita/matitaGui.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.