]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ddce32b) | patch
Next commit undone: I committed the version used only for our proof-assistant.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 May 2002 09:20:00 +0000 (09:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 20 May 2002 09:20:00 +0000 (09:20 +0000)
commit3c84a6c1aa318fccce5d148ce00cd799738a8eff
tree8850a1f0b83dd712b0878ccda12cf9660ace0029tree | snapshot
parentddce32beebecf9d965e6ad991a08368f52cd9ea1commit | diff
Next commit undone: I committed the version used only for our proof-assistant.
helm/style/rootcontent.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.