]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2abee6f) | patch
Bug fixed: \n prevented recognition.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 16 Dec 2007 14:19:01 +0000 (14:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Sun, 16 Dec 2007 14:19:01 +0000 (14:19 +0000)
commita8c1b61774a70376074fa31fdde84f53eb9bc00a
tree118ef74fb20c73b42313a80ed3ff4a2af953c92ctree | snapshot
parent2abee6f6b5f1cf989224c64e6ab9091624a34248commit | diff
Bug fixed: \n prevented recognition.
helm/software/matita/bench_summary.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.