]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3a18a6e) | patch
a parser error is now logged as an error!
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 15 Jun 2005 15:43:06 +0000 (15:43 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 15 Jun 2005 15:43:06 +0000 (15:43 +0000)
commit2d09c6299ae9601499228665a89da065ecd390ae
tree6664b2ebf36dfa36c421458dbdee2120ef701265tree | snapshot
parent3a18a6ebcf71b6c195de316f8df6655580d0a122commit | diff
a parser error is now logged as an error!
helm/matita/matitac.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.