]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 20595b2) | patch
- default font size of the proof window lowered to 10
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 30 Jun 2003 13:52:58 +0000 (13:52 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 30 Jun 2003 13:52:58 +0000 (13:52 +0000)
commitd05dd15ef48652976f82de6ecff3931cfa2055e9
tree9ee73174b7ef90a5749f70df98dbd00760d187fdtree | snapshot
parent20595b27aa778b574d2f8ab5edaa1aa0382e01c5commit | diff
- default font size of the proof window lowered to 10
- the font size spinner is now initialized with the right value
helm/gTopLevel/gTopLevel.ml diff | blob | history
helm/gTopLevel/termViewer.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.