matita.cs.unibo.it Git - helm.git/history - helm/searchEngine/searchEngine.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/searchEngine/searchEngine.ml

[helm.git] / helm / searchEngine / searchEngine.ml

2005-06-22	Enrico Tassi	string -> uri	blob \| commitdiff \| raw
2005-06-15	Stefano Zacchiroli	ported to latest registry interface	blob \| commitdiff \| raw \| diff to current
2005-05-26	Claudio Sacerdoti...	Now the links to 7 pages at a time are shown. Cool.	blob \| commitdiff \| raw \| diff to current
2005-05-26	Claudio Sacerdoti...	Bugs fixed:	blob \| commitdiff \| raw \| diff to current
2005-05-19	Stefano Zacchiroli	connected instance to the web search engine	blob \| commitdiff \| raw \| diff to current
2005-04-29	Enrico Tassi	hint -> experimental_hint	blob \| commitdiff \| raw \| diff to current
2005-04-29	Enrico Tassi	no more moogle... now whelp (config file name and daemo...	blob \| commitdiff \| raw \| diff to current
2005-04-27	Stefano Zacchiroli	better checks on elim input, two conditions are now...	blob \| commitdiff \| raw \| diff to current
2005-04-24	Stefano Zacchiroli	added CicEnvironment preloading	blob \| commitdiff \| raw \| diff to current
2005-04-20	Stefano Zacchiroli	removed spurious debugging prints	blob \| commitdiff \| raw \| diff to current
2005-04-20	Stefano Zacchiroli	html-escapes user given expression when filling hidden...	blob \| commitdiff \| raw \| diff to current
2005-03-16	Stefano Zacchiroli	- bugfix: do not fail when query_kind is missing (e...	blob \| commitdiff \| raw \| diff to current
2005-03-16	Stefano Zacchiroli	- new pretty printing of interpretations	blob \| commitdiff \| raw \| diff to current
2005-03-16	Stefano Zacchiroli	- re-enginered main moogle template, it is now aware...	blob \| commitdiff \| raw \| diff to current
2005-02-10	Stefano Zacchiroli	removed spurious dependency on Dbi_mysql	blob \| commitdiff \| raw \| diff to current
2005-01-10	Enrico Tassi	added begin list and end list comments to help moogle...	blob \| commitdiff \| raw \| diff to current
2004-12-09	Stefano Zacchiroli	ported to new format of Parse_error exception (which...	blob \| commitdiff \| raw \| diff to current
2004-12-03	Stefano Zacchiroli	ported to universes	blob \| commitdiff \| raw \| diff to current
2004-11-18	Stefano Zacchiroli	ported to Mysql native connection	blob \| commitdiff \| raw \| diff to current
2004-10-26	Stefano Zacchiroli	bugfix: implemented interactive_user_uri_choice (trivia...	blob \| commitdiff \| raw \| diff to current
2004-10-25	Stefano Zacchiroli	implemented pagination	blob \| commitdiff \| raw \| diff to current
2004-10-25	Stefano Zacchiroli	- bugfix use disambiguator metasenv for initial proof...	blob \| commitdiff \| raw \| diff to current
2004-10-25	Stefano Zacchiroli	- reimplemented basic features using the helm-metadata...	blob \| commitdiff \| raw \| diff to current
2004-09-20	Stefano Zacchiroli	fixed parse error for ocaml 3.08	blob \| commitdiff \| raw \| diff to current
2004-06-22	Stefano Zacchiroli	ugliness changes:	blob \| commitdiff \| raw \| diff to current
2004-06-16	Claudio Sacerdoti...	atmost/atleast/exactly constraints are now used only...	blob \| commitdiff \| raw \| diff to current
2004-06-16	Stefano Zacchiroli	in the particular case of simple searches, Andrea atmos...	blob \| commitdiff \| raw \| diff to current
2004-06-16	Andrea Asperti	first moogle commit	blob \| commitdiff \| raw \| diff to current
2004-05-20	Stefano Zacchiroli	ported to latest ocaml-http API	blob \| commitdiff \| raw \| diff to current
2004-05-13	Ferruccio Guidi	- some code patched	blob \| commitdiff \| raw \| diff to current
2004-04-22	Stefano Zacchiroli	added /help method (needed by respawner)	blob \| commitdiff \| raw \| diff to current
2004-03-09	Claudio Sacerdoti...	Partially ported to new disambiguating parser.	blob \| commitdiff \| raw \| diff to current
2004-03-09	Claudio Sacerdoti...	Dead code removed.	blob \| commitdiff \| raw \| diff to current
2004-03-09	Claudio Sacerdoti...	- non empty metasenv after the parsing phase are now...	blob \| commitdiff \| raw \| diff to current
2004-03-08	Claudio Sacerdoti...	Disambiguation can now return more than one choice.	blob \| commitdiff \| raw \| diff to current
2004-02-20	Ferruccio Guidi	- mathql interpreter flags reorganized	blob \| commitdiff \| raw \| diff to current
2004-02-18	Ferruccio Guidi	mathql interpreter flags can be now red from helm registry	blob \| commitdiff \| raw \| diff to current
2004-02-17	Claudio Sacerdoti...	Reindentation.	blob \| commitdiff \| raw \| diff to current
2004-02-17	Claudio Sacerdoti...	- ported to Helm_registry	blob \| commitdiff \| raw \| diff to current
2003-12-16	Stefano Zacchiroli	- ported to new output_html Disambiguate callback	blob \| commitdiff \| raw \| diff to current
2003-10-29	Ferruccio Guidi	some interfaces changed to prepare the mathql code...	blob \| commitdiff \| raw \| diff to current
2003-09-04	Ferruccio Guidi	CGLocateInductive patched	blob \| commitdiff \| raw \| diff to current
2003-09-04	Ferruccio Guidi	added the support for the "Locate Inductive Principles...	blob \| commitdiff \| raw \| diff to current
2003-07-29	Ferruccio Guidi	- the mathql interpreter is not helm-dependent any...	blob \| commitdiff \| raw \| diff to current
2003-07-17	Ferruccio Guidi	- new generated query "unreferred" implemented at serve...	blob \| commitdiff \| raw \| diff to current
2003-07-02	Claudio Sacerdoti...	Bug fixed: deselecting a constraint just forgot its...	blob \| commitdiff \| raw \| diff to current
2003-07-02	Ferruccio Guidi	mathql_generator: new constraint format (more type...	blob \| commitdiff \| raw \| diff to current
2003-06-26	Claudio Sacerdoti...	http://....#Prop shortened to Prop due to a bug (featur...	blob \| commitdiff \| raw \| diff to current
2003-06-23	Claudio Sacerdoti...	Branch V7_3_new_exportation merged.	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.

RSS Atom