]> matita.cs.unibo.it Git - helm.git/commit
- better printing of modifiers
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 15 Jun 2005 12:39:04 +0000 (12:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 15 Jun 2005 12:39:04 +0000 (12:39 +0000)
commit1bca5f712ea94b115658f933a6689f9d700887a3
treef6f26fa436b647b3718f3026fda71276e9fc35c7
parent0aa359c7943ea10c70ae1ec053062c658b28b8ce
- better printing of modifiers
- quit on window destroy
helm/DEVEL/lablgtkmathview/test/test.ml