]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0aa359c) | patch
- 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
treef6f26fa436b647b3718f3026fda71276e9fc35c7tree | snapshot
parent0aa359c7943ea10c70ae1ec053062c658b28b8cecommit | diff
- better printing of modifiers
- quit on window destroy
helm/DEVEL/lablgtkmathview/test/test.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.