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

2004-05-13	Ferruccio Guidi	- some code patched	blob \| commitdiff \| raw
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