]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 79538d6) | patch
Preliminary commit to support Hanane's proof-tree rendering.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 19 Sep 2003 08:10:14 +0000 (08:10 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 19 Sep 2003 08:10:14 +0000 (08:10 +0000)
commitf5419c538928932f114f78887e489f6b2e19764a
treeede670ee3565a4dd0a1cb68ccb79b26675a57451tree | snapshot
parent79538d65a060641788bae111438edb705119a4cdcommit | diff
Preliminary commit to support Hanane's proof-tree rendering.
helm/on-line/javascript/control.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.