]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 33c7572) | patch
NEW: manual added and linked to the interface.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Mar 2003 16:24:59 +0000 (16:24 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 18 Mar 2003 16:24:59 +0000 (16:24 +0000)
commitb0a32c3d617eb1c22e09d5c41e3cc03ff779a9f8
tree6a08fd9ae55e8e8169a3c64618c51491f3cf0d8etree | snapshot
parent33c7572776d0e2c502293f32ad6a01e6f8cf1e74commit | diff
NEW: manual added and linked to the interface.
helm/searchEngine/html/almost_blank.html diff | blob | history
helm/searchEngine/html/manual/alias.jpg [new file with mode: 0644] blob
helm/searchEngine/html/manual/ex1.jpg [new file with mode: 0644] blob
helm/searchEngine/html/manual/frames.jpg [new file with mode: 0644] blob
helm/searchEngine/html/manual/index.html [new file with mode: 0644] blob
helm/searchEngine/html/start.html diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.