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

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

2003-12-16	Stefano Zacchiroli	- ported to new output_html Disambiguate callback	blob \| commitdiff \| raw
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.