]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: df3c83c) | patch
- added support for -debug, which avoid catching top level exceptions (still useless...
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Sep 2005 12:41:02 +0000 (12:41 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Sep 2005 12:41:02 +0000 (12:41 +0000)
commit1946ca7a51df0acb35d8e2ea001d194f1d2ccb12
tree23235db583db3cca9eb399c0f2f135d467419dbftree | snapshot
parentdf3c83c772b9aede0503d57757899b34a7847e6fcommit | diff
- added support for -debug, which avoid catching top level exceptions (still useless until we find a way to let the program die on uncaught exceptions raised by gtk callbacks)
- enable whelp syntax on command line
- uses Arg for command line parsing
helm/matita/matita.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.