]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 550c13e) | patch
Colors are back! :-)
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Mar 2006 16:07:10 +0000 (16:07 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 24 Mar 2006 16:07:10 +0000 (16:07 +0000)
commit66063c24d7a6829820a12c0264cb9364f3f5030a
treea1a3264fd8da112f6e6537d6845796a228da7ec0tree | snapshot
parent550c13e167fe77a1bea463b347227c8570f10072commit | diff
Colors are back! :-)
helm/software/matita/matitacLib.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.