]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b32e6b2) | patch
Nested calls to matitac are now pretty-printed nicely.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 Mar 2011 01:08:02 +0000 (01:08 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 Mar 2011 01:08:02 +0000 (01:08 +0000)
commit6576f1ca2692807a74122122eab132f7c983d6bb
treec2b1be3c9e65c861adb895c46f9b6af9c3e0e2dbtree | snapshot
parentb32e6b2f0da453e39ef849444c6f0c91e659eea4commit | diff
Nested calls to matitac are now pretty-printed nicely.
The times printed, however, still include the nested compilation time
(to be fixed).
matita/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.