]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2b33996) | patch
1) Second half of the bug fixing for the "lexical keywords lost" bug.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 27 Mar 2011 13:09:20 +0000 (13:09 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 27 Mar 2011 13:09:20 +0000 (13:09 +0000)
commit6a2985ee4de00c81115d0c008baa6aba05bca6bc
tree54853a1e10edd20ffc80bcc5622e38c8c9c11591tree | snapshot
parent2b339969803b2ff9f5442c96a5736626712745f7commit | diff
1) Second half of the bug fixing for the "lexical keywords lost" bug.
   I expected the need for re-building the lexer also after the Notation command
   and indeed I have found an example for this in CerCo.
2) Printing of compilation result and times required fixed.
matita/matita/matitaEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.