]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e364e9) | patch
- moved to the view menu toggles for coercion hiding and notation pp
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Feb 2007 15:18:08 +0000 (15:18 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 9 Feb 2007 15:18:08 +0000 (15:18 +0000)
commitc55d66bd91cc2e12daf076c4bd050ce34029854f
tree1a9b119e5cd7e445633c994cc77ea75b98b77d05tree | snapshot
parent2e364e9c612dbe8d7ff4208f45b7a1f55e67a3c0commit | diff
- moved to the view menu toggles for coercion hiding and notation pp
- moved back the high level pp toggle to the debug menu
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.