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

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

2004-11-30	no author	This commit was manufactured by cvs2svn to create tag PRE_UNIVERSES	commit \| commitdiff \| tree \| snapshot
2004-11-30	Andrea Asperti	Bug in the management of substitutions into auto corrected.	commit \| commitdiff \| tree \| snapshot
2004-11-29	Stefano Zacchiroli	- ported tests to newer PP / substitutions	commit \| commitdiff \| tree \| snapshot
2004-11-29	Stefano Zacchiroli	- passes subst to FreshNameGenerator	commit \| commitdiff \| tree \| snapshot
2004-11-29	Stefano Zacchiroli	removed old debugging prints	commit \| commitdiff \| tree \| snapshot
2004-11-29	Stefano Zacchiroli	passes ~subst to FreshNameGenerator	commit \| commitdiff \| tree \| snapshot
2004-11-29	Stefano Zacchiroli	passes subst to FreshNameGenerator	commit \| commitdiff \| tree \| snapshot
2004-11-29	Stefano Zacchiroli	- pass subst to FreshNameGenerator on mk_fresh_name...	commit \| commitdiff \| tree \| snapshot
2004-11-29	Stefano Zacchiroli	bugfix: FreshNameGenerator uses the type checker on...	commit \| commitdiff \| tree \| snapshot
2004-11-29	Stefano Zacchiroli	bugfix in type_of_aux' which erroneously discard given...	commit \| commitdiff \| tree \| snapshot
2004-11-26	Stefano Zacchiroli	ported to Mysql	commit \| commitdiff \| tree \| snapshot
2004-11-26	Stefano Zacchiroli	ported to new xpointer syntax	commit \| commitdiff \| tree \| snapshot
2004-11-25	Stefano Zacchiroli	protected invocations to get_cooked_obj with assertion...	commit \| commitdiff \| tree \| snapshot
2004-11-25	Stefano Zacchiroli	protected invocations of get_cooked_obj with assertion...	commit \| commitdiff \| tree \| snapshot
2004-11-24	Stefano Zacchiroli	guard get_cooked_obj calls with assert false in case...	commit \| commitdiff \| tree \| snapshot
2004-11-24	Stefano Zacchiroli	use get_obj instead of get_cooked_obj in order to retri...	commit \| commitdiff \| tree \| snapshot
2004-11-23	Luca Padovani	* several adjustments after introduction of the depth...	commit \| commitdiff \| tree \| snapshot
2004-11-23	Luca Padovani	* validation scripts	commit \| commitdiff \| tree \| snapshot
2004-11-23	Luca Padovani	* basic infrastructure for collecting statistics	commit \| commitdiff \| tree \| snapshot
2004-11-22	Stefano Zacchiroli	added parse test for	commit \| commitdiff \| tree \| snapshot
2004-11-18	Stefano Zacchiroli	set environment trust to false to avoid dummy proof...	commit \| commitdiff \| tree \| snapshot
2004-11-18	Stefano Zacchiroli	use stateful logger so that the ProofChecker daemon...	commit \| commitdiff \| tree \| snapshot
2004-11-18	Stefano Zacchiroli	added a stateful logger which remember indentation...	commit \| commitdiff \| tree \| snapshot
2004-11-18	Stefano Zacchiroli	added set_trust to externally set the trust function...	commit \| commitdiff \| tree \| snapshot
2004-11-18	Stefano Zacchiroli	ported to Mysql native connection	commit \| commitdiff \| tree \| snapshot
2004-11-17	Matteo Selmi	Resolved problem occured when "=" in MainConclusion	commit \| commitdiff \| tree \| snapshot
2004-11-17	Matteo Selmi	Removed duplicated uri in sigmatch	commit \| commitdiff \| tree \| snapshot
2004-11-17	Matteo Selmi	Bug fix	commit \| commitdiff \| tree \| snapshot
2004-11-15	Stefano Zacchiroli	changed reduction tactics ast	commit \| commitdiff \| tree \| snapshot
2004-11-15	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-11-12	Stefano Zacchiroli	Fixed an hidden occur check problem: when a Meta is...	commit \| commitdiff \| tree \| snapshot
2004-11-11	Stefano Zacchiroli	added dummy entry in CicAst: UserInput	commit \| commitdiff \| tree \| snapshot
2004-11-11	Stefano Zacchiroli	snapshot:	commit \| commitdiff \| tree \| snapshot
2004-11-10	Stefano Zacchiroli	bumped changelog line to match upload date	commit \| commitdiff \| tree \| snapshot
2004-11-10	Stefano Zacchiroli	disabled debugging info	commit \| commitdiff \| tree \| snapshot
2004-11-10	Stefano Zacchiroli	parse Baseuri command	commit \| commitdiff \| tree \| snapshot
2004-11-10	Stefano Zacchiroli	added Baseuri command	commit \| commitdiff \| tree \| snapshot
2004-11-10	Stefano Zacchiroli	commented out some timing messages	commit \| commitdiff \| tree \| snapshot
2004-11-09	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree \| snapshot
2004-11-09	Luca Padovani	* compressed statistics committed	commit \| commitdiff \| tree \| snapshot
2004-11-09	Stefano Zacchiroli	- split compound fields	commit \| commitdiff \| tree \| snapshot
2004-11-09	Luca Padovani	* snapshot	commit \| commitdiff \| tree \| snapshot
2004-11-09	Andrea Asperti	Aggiunta l'introduzione alla prima sezione:.	commit \| commitdiff \| tree \| snapshot
2004-11-09	Luca Padovani	* output of XML file size	commit \| commitdiff \| tree \| snapshot
2004-11-09	Luca Padovani	* fix bug detect blank nodes	commit \| commitdiff \| tree \| snapshot
2004-11-09	Luca Padovani	* added stylesheet to render the results	commit \| commitdiff \| tree \| snapshot
2004-11-09	Stefano Zacchiroli	added filling of no_concl_hyp	commit \| commitdiff \| tree \| snapshot
2004-11-09	Stefano Zacchiroli	added query to fill no_concl_hyp table	commit \| commitdiff \| tree \| snapshot
2004-11-09	Stefano Zacchiroli	formatted	commit \| commitdiff \| tree \| snapshot
2004-11-09	Luca Padovani	* depths now in hash table	commit \| commitdiff \| tree \| snapshot
2004-11-09	Luca Padovani	* snapshot	commit \| commitdiff \| tree \| snapshot
2004-11-08	Luca Padovani	* added a few calculations	commit \| commitdiff \| tree \| snapshot
2004-11-08	Luca Padovani	* added .cc program (and equivalent .xsl stylesheet...	commit \| commitdiff \| tree \| snapshot
2004-11-08	Andrea Asperti	First draft (introduction).	commit \| commitdiff \| tree \| snapshot
2004-11-08	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2004-11-05	Stefano Zacchiroli	filled toolbar and implemented buttons behaviours	commit \| commitdiff \| tree \| snapshot
2004-11-05	Stefano Zacchiroli	ported to new cut and letin "API"	commit \| commitdiff \| tree \| snapshot
2004-11-05	Stefano Zacchiroli	- added Tactics module as a common point where tactics...	commit \| commitdiff \| tree \| snapshot
2004-11-04	Andrea Asperti	Auto moved to a new file autoTactic.ml	commit \| commitdiff \| tree \| snapshot
2004-11-04	Andrea Asperti	New version(s) of hint. One more stable (hint) and...	commit \| commitdiff \| tree \| snapshot
2004-11-04	Andrea Asperti	Added a new boolean parameter "facts" (default=false...	commit \| commitdiff \| tree \| snapshot
2004-11-04	Andrea Asperti	Porting to the new version of auto.	commit \| commitdiff \| tree \| snapshot
2004-11-03	Stefano Zacchiroli	snapshot (notably: ported to mysql instead of dbi)	commit \| commitdiff \| tree \| snapshot
2004-11-03	Stefano Zacchiroli	no longer use Dbi module but directly use Mysql module...	commit \| commitdiff \| tree \| snapshot
2004-11-03	Stefano Zacchiroli	added Auto parsing	commit \| commitdiff \| tree \| snapshot
2004-11-03	Stefano Zacchiroli	added Auto and Hint tactic	commit \| commitdiff \| tree \| snapshot
2004-11-02	Luca Padovani	* substitution are not rendered by default, an action...	commit \| commitdiff \| tree \| snapshot
2004-11-02	Stefano Zacchiroli	renamed Http_client to Http_user_agent to avoid clashes...	commit \| commitdiff \| tree \| snapshot
2004-10-29	Stefano Zacchiroli	ignore typecheck_uri{,.opt}	commit \| commitdiff \| tree \| snapshot
2004-10-29	Stefano Zacchiroli	added test script for typechecking URIs given on STDIN	commit \| commitdiff \| tree \| snapshot
2004-10-29	Stefano Zacchiroli	- equality test on terms before trying convertibility...	commit \| commitdiff \| tree \| snapshot
2004-10-27	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree \| snapshot
2004-10-27	Andrea Asperti	Bug fixing.	commit \| commitdiff \| tree \| snapshot
2004-10-26	Stefano Zacchiroli	bugfix: implemented interactive_user_uri_choice (trivia...	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	ported to latest ocaml-http	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	implemented pagination	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	- bugfix use disambiguator metasenv for initial proof...	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	added CSS information for (forthcoming) bottom bar	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	sort hint's result accordingly to the "least goal left...	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	bugfix in cmatch constants_no now consider also the...	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	- added var selection boolean to locate	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	added vars selection boolean on locate	commit \| commitdiff \| tree \| snapshot
2004-10-25	Stefano Zacchiroli	- reimplemented basic features using the helm-metadata...	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	implemented elim query	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	added Hint "tactic"	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	bugfix: handle overflow in powerset cardinality	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	no longer builds by default tex_ and cic_textual_parser	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	- reimplemented tacticChaser and friends in term of...	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	- support also DBI handle	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	no longer build oldDisambiguate	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	uses DBI handle	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	- disambiguation now needs DBI handle	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	auto needs DBI handle	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	temporary: for the moment we need both MQI handle and...	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	ported to Dbi-disambiguation	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	ignore boolean returned by saveDocument	commit \| commitdiff \| tree \| snapshot
2004-10-22	Andrea Asperti	- added (hack) apply_tac_verbose (for auto)	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	- changed metadata type so that positions contains...	commit \| commitdiff \| tree \| snapshot
2004-10-22	Stefano Zacchiroli	removed reference to MQueryMisc	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom