]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8efd7ae) | patch
param.annotations was yes or NO. It is now yer or no.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 27 Nov 2001 17:05:45 +0000 (17:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 27 Nov 2001 17:05:45 +0000 (17:05 +0000)
commit4866a470d100cd7eb99c499beef9b61ec0e0a3ad
tree6198fd3487ba314d94bd4a16c47b3f1139fd75fbtree | snapshot
parent8efd7ae18e1a9555e66254a39afadce56b74c42dcommit | diff
param.annotations was yes or NO. It is now yer or no.
helm/on-line/html/cic/control.html diff | blob | history
helm/on-line/javascript/control.js diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.