]> matita.cs.unibo.it Git - helm.git/commit
Added an hyperlink to the on-line manual.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Mar 2003 16:19:52 +0000 (16:19 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Mar 2003 16:19:52 +0000 (16:19 +0000)
commit33c7572776d0e2c502293f32ad6a01e6f8cf1e74
treea4579e0ddf5937793efd591231488da8a6fc4af9
parent02a075a57f4e40ff34b7ae1351ab77c32d0d427b
Added an hyperlink to the on-line manual.
helm/searchEngine/html/almost_blank.html [new file with mode: 0644]
helm/searchEngine/html/blank.html
helm/searchEngine/html/start.html