]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a1bb9e) | patch
ugliness changes:
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 22 Jun 2004 15:33:17 +0000 (15:33 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 22 Jun 2004 15:33:17 +0000 (15:33 +0000)
commitaeac77539da374b9c9a0f3aae1c7b43963c9dab9
tree82ccc96cc67e0707d0776addea359aab80e4bfdctree | snapshot
parent2a1bb9ea2a09b4b64ae8b61144da4c1035d1c1f1commit | diff
ugliness changes:
- more google like look and feel for query results
- exceptions are no longer rendered in <h1> elements but pretty printed
  inside the standard moogle HTML template
- advanced search status is now rememberd between searches
- added results count
- added result type feedback in results page
helm/searchEngine/html/moogle.html diff | blob | history
helm/searchEngine/html/moogle_help.html diff | blob | history
helm/searchEngine/html/moogle_init.html diff | blob | history
helm/searchEngine/searchEngine.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.