]> matita.cs.unibo.it Git - helm.git/commit
proofcheckerURL configuration parameter added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Oct 2002 09:14:29 +0000 (09:14 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 8 Oct 2002 09:14:29 +0000 (09:14 +0000)
commit12e10515abf4f7f2a863d7844972d67a9bbec92b
tree4b3e35ca3df648cec7e3f07cc393bc5526cc4c04
parentd854b2d426931d6d85cdee656f4b2572021b4ae0
proofcheckerURL configuration parameter added
helm/on-line/html/cic/control.html
helm/on-line/html/control.html
helm/on-line/html/library/control.html
helm/on-line/html/library/index.html
helm/on-line/javascript/control.js
helm/on-line/javascript/defaults.js
helm/on-line/javascript/prelude.js