]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 74c1bd5) | 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)
commit8a1b43d009dc6eb9a64e35e08fccbef4313140b8
tree9609a377b82a59d2ff0fe444b27a80848f00d58etree | snapshot
parent74c1bd57ab62eff5489758546baf8a9610a3c172commit | diff
moved the high level pretty printing setting to a toggle menu item of the View menu (with CTRL-P shortcut)
matita/matita.glade diff | blob | history
matita/matita.ml diff | blob | history
matita/matitaGui.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.