matita.cs.unibo.it Git - helm.git/shortlog

]> matita.cs.unibo.it Git - helm.git/shortlog

2004-04-16	Stefano Zacchiroli	- added sample usage of get_opt method	commit \| commitdiff \| tree \| snapshot
2004-04-15	Andrea Asperti	Metasenv added as parameter to eta_fixing.	commit \| commitdiff \| tree \| snapshot
2004-04-15	Stefano Zacchiroli	s/dtd_base_url/dtd_base_urls/	commit \| commitdiff \| tree \| snapshot
2004-04-15	Stefano Zacchiroli	- better pretty printing of exceptions (added red color)	commit \| commitdiff \| tree \| snapshot
2004-04-15	Stefano Zacchiroli	- fixed dtd_base_urls implementation	commit \| commitdiff \| tree \| snapshot
2004-04-15	Stefano Zacchiroli	- better pretty printing on /update	commit \| commitdiff \| tree \| snapshot
2004-04-15	Stefano Zacchiroli	added string_of_html_tag (plain text pretty printer...	commit \| commitdiff \| tree \| snapshot
2004-04-15	Stefano Zacchiroli	added support for multiple dtd_base_urls	commit \| commitdiff \| tree \| snapshot
2004-04-14	Ferruccio Guidi	updating all sections	commit \| commitdiff \| tree \| snapshot
2004-04-14	Ferruccio Guidi	patched	commit \| commitdiff \| tree \| snapshot
2004-04-14	Claudio Sacerdoti...	Bug fixed: the following happened.	commit \| commitdiff \| tree \| snapshot
2004-04-14	Stefano Zacchiroli	added exists_meta	commit \| commitdiff \| tree \| snapshot
2004-04-14	Ferruccio Guidi	patched	commit \| commitdiff \| tree \| snapshot
2004-04-13	Ferruccio Guidi	updating the introduction	commit \| commitdiff \| tree \| snapshot
2004-04-09	Stefano Zacchiroli	ported to latest polymorphic variant types	commit \| commitdiff \| tree \| snapshot
2004-04-07	Claudio Sacerdoti...	Added flag test_equality_only to are_convertible to...	commit \| commitdiff \| tree \| snapshot
2004-04-07	Claudio Sacerdoti...	Added flag test_equality_only to are_convertible (to...	commit \| commitdiff \| tree \| snapshot
2004-04-07	Stefano Zacchiroli	added a missing <br> tag	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	implemented save_to	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	- uncommented save_to function (now implemented)	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	added Unix dependency (needed in order to run xmllint)	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	eta_fixing of the CurrentProof metasenv is wrong, since...	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	The parser accepts terms with metavariables as statemen...	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	- added test file	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	- added via_http parameter so that when the getter...	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	- use polymorphic variants for some configuration param...	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	bugfix: local context and canonical context previously...	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	bugfix: the function that abstract constant occurrences...	commit \| commitdiff \| tree \| snapshot
2004-04-06	Stefano Zacchiroli	reorganized functions order	commit \| commitdiff \| tree \| snapshot
2004-04-05	Claudio Sacerdoti...	http_getter.conf.xml ==> /projects/helm/etc/http_getter...	commit \| commitdiff \| tree \| snapshot
2004-04-05	Stefano Zacchiroli	added html_of_html_tag	commit \| commitdiff \| tree \| snapshot
2004-04-05	Claudio Sacerdoti...	URL patching in ENTITY declarations extended to cover...	commit \| commitdiff \| tree \| snapshot
2004-04-05	Claudio Sacerdoti...	XHTML character entities (used in the internal subset...	commit \| commitdiff \| tree \| snapshot
2004-04-05	Andrea Asperti	Added a new function in_cache to cicEnvironemt. It...	commit \| commitdiff \| tree \| snapshot
2004-04-04	Claudio Sacerdoti...	ht:DEFINITION/Definition differentiated into	commit \| commitdiff \| tree \| snapshot
2004-04-02	Stefano Zacchiroli	s/per_user_settings/user_settings/ for consistency...	commit \| commitdiff \| tree \| snapshot
2004-04-02	Stefano Zacchiroli	- logging of long-running actions (like update) is...	commit \| commitdiff \| tree \| snapshot
2004-04-01	Stefano Zacchiroli	removed no longer needed password from connection string	commit \| commitdiff \| tree \| snapshot
2004-04-01	Stefano Zacchiroli	- added "Host:" line to http requests so that virtual...	commit \| commitdiff \| tree \| snapshot
2004-04-01	Stefano Zacchiroli	- removed http_get/http_get_iter implementations, use...	commit \| commitdiff \| tree \| snapshot
2004-04-01	Claudio Sacerdoti...	<VARIABLE as="LocalFact"/> added	commit \| commitdiff \| tree \| snapshot
2004-04-01	Stefano Zacchiroli	removed an out of date comment	commit \| commitdiff \| tree \| snapshot
2004-04-01	Stefano Zacchiroli	added hyperlinks to help message	commit \| commitdiff \| tree \| snapshot
2004-04-01	Stefano Zacchiroli	removed out of date configuration file	commit \| commitdiff \| tree \| snapshot
2004-03-31	Matteo Selmi	tacticChaser modified to avoid double "apply" and to...	commit \| commitdiff \| tree \| snapshot
2004-03-31	Lionel Mamane	Meta files are in METAS subdir	commit \| commitdiff \| tree \| snapshot
2004-03-31	Lionel Mamane	Install to findlib-defined dest dir, not to stdlib dir	commit \| commitdiff \| tree \| snapshot
2004-03-30	Claudio Sacerdoti...	- provastruct.theory.xml removed (what was that exactly?)	commit \| commitdiff \| tree \| snapshot
2004-03-28	Ferruccio Guidi	updating and structuring	commit \| commitdiff \| tree \| snapshot
2004-03-26	Claudio Sacerdoti...	Algebra => CoRN	commit \| commitdiff \| tree \| snapshot
2004-03-26	Claudio Sacerdoti...	tex notation enabled	commit \| commitdiff \| tree \| snapshot
2004-03-25	Luca Padovani	* the .o files to be used in the dll are now taken...	commit \| commitdiff \| tree \| snapshot
2004-03-24	Stefano Zacchiroli	CSC: hack to make applications of constants that have...	commit \| commitdiff \| tree \| snapshot
2004-03-24	Luca Padovani	* added embedding test (HTML)	commit \| commitdiff \| tree \| snapshot
2004-03-24	Luca Padovani	* added TODO file	commit \| commitdiff \| tree \| snapshot
2004-03-23	Luca Padovani	* added test with MathML really embedded within HTML	commit \| commitdiff \| tree \| snapshot
2004-03-23	Luca Padovani	* implemented click so that the browser is notified...	commit \| commitdiff \| tree \| snapshot
2004-03-22	Stefano Zacchiroli	cosmetic alignment change	commit \| commitdiff \| tree \| snapshot
2004-03-22	Stefano Zacchiroli	- implemented real thread killing (in place of the...	commit \| commitdiff \| tree \| snapshot
2004-03-22	Claudio Sacerdoti...	load_document(_,NULL) => unload	commit \| commitdiff \| tree \| snapshot
2004-03-22	Claudio Sacerdoti...	- power notation	commit \| commitdiff \| tree \| snapshot
2004-03-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2004-03-21	Ferruccio Guidi	introduction updated	commit \| commitdiff \| tree \| snapshot
2004-03-21	Ferruccio Guidi	The operational semantics of the core language is ready	commit \| commitdiff \| tree \| snapshot
2004-03-17	Claudio Sacerdoti...	Bug fixed for theorems whose statement are like	commit \| commitdiff \| tree \| snapshot
2004-03-16	Andrea Asperti	Sorts are no longer all convertible. To be completed...	commit \| commitdiff \| tree \| snapshot
2004-03-16	Andrea Asperti	Sorts are no longer all convertible. To be completed...	commit \| commitdiff \| tree \| snapshot
2004-03-15	Andrea Asperti	This fails.	commit \| commitdiff \| tree \| snapshot
2004-03-14	Stefano Zacchiroli	added final version of the paper (for the records)	commit \| commitdiff \| tree \| snapshot
2004-03-14	Stefano Zacchiroli	talk committed	commit \| commitdiff \| tree \| snapshot
2004-03-12	Ferruccio Guidi	updating	commit \| commitdiff \| tree \| snapshot
2004-03-12	acerioni	New tactic Auto.	commit \| commitdiff \| tree \| snapshot
2004-03-12	acerioni	First implementation of the Auto tactic.	commit \| commitdiff \| tree \| snapshot
2004-03-12	acerioni	Type of exception changed: from exn to string.	commit \| commitdiff \| tree \| snapshot
2004-03-10	Ferruccio Guidi	- interpreter: the queries are printed before execution	commit \| commitdiff \| tree \| snapshot
2004-03-10	Claudio Sacerdoti...	interpretation_choices not declared	commit \| commitdiff \| tree \| snapshot
2004-03-09	Claudio Sacerdoti...	escape/unescape no longer works with '+';	commit \| commitdiff \| tree \| snapshot
2004-03-09	Claudio Sacerdoti...	Parameter forgot.	commit \| commitdiff \| tree \| snapshot
2004-03-09	Claudio Sacerdoti...	Partially ported to new disambiguating parser.	commit \| commitdiff \| tree \| snapshot
2004-03-09	Claudio Sacerdoti...	Debug code removed.	commit \| commitdiff \| tree \| snapshot
2004-03-09	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2004-03-09	Claudio Sacerdoti...	- non empty metasenv after the parsing phase are now...	commit \| commitdiff \| tree \| snapshot
2004-03-09	Claudio Sacerdoti...	Bug fixed: instead of generating "not ()", I generate...	commit \| commitdiff \| tree \| snapshot
2004-03-09	Claudio Sacerdoti...	Meta no longer raise a failure. Instead they return...	commit \| commitdiff \| tree \| snapshot
2004-03-08	Claudio Sacerdoti...	- reindented	commit \| commitdiff \| tree \| snapshot
2004-03-08	Claudio Sacerdoti...	Disambiguation can now return more than one choice.	commit \| commitdiff \| tree \| snapshot
2004-03-05	Claudio Sacerdoti...	Quick & dirty patch to overcome a bug of ocamlfind.	commit \| commitdiff \| tree \| snapshot
2004-03-05	Claudio Sacerdoti...	Added option -timeout. Default is 5s.	commit \| commitdiff \| tree \| snapshot
2004-03-05	Claudio Sacerdoti...	\Assign and \subst to match the parser.	commit \| commitdiff \| tree \| snapshot
2004-03-05	Claudio Sacerdoti...	MutCase branches must be parsed and printed using ...	commit \| commitdiff \| tree \| snapshot
2004-03-05	Claudio Sacerdoti...	Branch of MutCase must be parsed and printed using...	commit \| commitdiff \| tree \| snapshot
2004-03-05	Claudio Sacerdoti...	Debugging message removed.	commit \| commitdiff \| tree \| snapshot
2004-03-05	Claudio Sacerdoti...	apply_subst did not apply the substitution to the expli...	commit \| commitdiff \| tree \| snapshot
2004-03-05	Claudio Sacerdoti...	Refine now raises only RefineFailure, AssertFailure...	commit \| commitdiff \| tree \| snapshot
2004-03-05	Claudio Sacerdoti...	Wrong error message patched.	commit \| commitdiff \| tree \| snapshot
2004-03-05	Claudio Sacerdoti...	List.nth not guarded by try ... with. Fixed.	commit \| commitdiff \| tree \| snapshot
2004-03-05	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree \| snapshot
2004-03-05	Claudio Sacerdoti...	HelmLogger logging function connected to MathQL Interpr...	commit \| commitdiff \| tree \| snapshot
2004-03-05	Claudio Sacerdoti...	Syntax of explicit named substitions syncronized with...	commit \| commitdiff \| tree \| snapshot
2004-03-02	Claudio Sacerdoti...	Yet another error in the id regexp: numbers are allowed...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom