]> matita.cs.unibo.it Git - helm.git/commit
Now the links to 7 pages at a time are shown. Cool.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 26 May 2005 16:04:05 +0000 (16:04 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 26 May 2005 16:04:05 +0000 (16:04 +0000)
commitd747da7b7a32c08eb948f22ac505003a7adce2c4
tree4feeeef09c192d13721b3c394cdd2061d62f7203
parentac42dcaa39715c44e2e4f4c989b49d9929294fc0
Now the links to 7 pages at a time are shown. Cool.
helm/searchEngine/html/moogle_trailer.html.src
helm/searchEngine/searchEngine.ml