]> matita.cs.unibo.it Git - helm.git/commit
- re-enginered main moogle template, it is now aware of queries kind, summary,
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Mar 2005 10:23:37 +0000 (10:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 16 Mar 2005 10:23:37 +0000 (10:23 +0000)
commit2a36d2bb28a102199c2dbd9cef762bccab3c7824
tree140b416ce93b7c6c5a881d0e8d95c5ac765668a7
parentc7d07a062257218e85ae41d2fde6693772550223
- re-enginered main moogle template, it is now aware of queries kind, summary,
  and results. This enable fixing of minor like feedback on the query kind in
  case of errors
- minor bug fixes: 1/0 nuisance in case of errors
- commented out advanced query selection (which do nothing)
helm/searchEngine/html/moogle.html
helm/searchEngine/mooglePp.ml
helm/searchEngine/mooglePp.mli
helm/searchEngine/searchEngine.ml