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

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

2005-01-13	Stefano Zacchiroli	snapshot (1st commit of fix body generation)	commit \| commitdiff \| tree \| snapshot
2005-01-12	Enrico Tassi	fixed clean_and_fill	commit \| commitdiff \| tree \| snapshot
2005-01-12	Enrico Tassi	fixed bug in fill_and_clean (now the helper universes_o...	commit \| commitdiff \| tree \| snapshot
2005-01-11	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree \| snapshot
2005-01-11	Stefano Zacchiroli	added fallback case (assertion failure) for unsupported...	commit \| commitdiff \| tree \| snapshot
2005-01-11	Stefano Zacchiroli	added syntax for URIs	commit \| commitdiff \| tree \| snapshot
2005-01-11	Stefano Zacchiroli	added search commands	commit \| commitdiff \| tree \| snapshot
2005-01-11	Stefano Zacchiroli	- added pack/unpack over AST of terms	commit \| commitdiff \| tree \| snapshot
2005-01-11	Stefano Zacchiroli	- added pack/unpack over AST of terms	commit \| commitdiff \| tree \| snapshot
2005-01-11	Stefano Zacchiroli	added clean_and_fill, to be invoked on qed	commit \| commitdiff \| tree \| snapshot
2005-01-11	Stefano Zacchiroli	snapshot, not yet completed, but ...	commit \| commitdiff \| tree \| snapshot
2005-01-11	Stefano Zacchiroli	- added support for contexts (terms with holes)	commit \| commitdiff \| tree \| snapshot
2005-01-11	Stefano Zacchiroli	cosmetic changes	commit \| commitdiff \| tree \| snapshot
2005-01-10	Enrico Tassi	added begin list and end list comments to help moogle...	commit \| commitdiff \| tree \| snapshot
2005-01-05	Stefano Zacchiroli	exported lift_from	commit \| commitdiff \| tree \| snapshot
2005-01-05	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-12-21	Stefano Zacchiroli	added an hyperlink to the input syntax page	commit \| commitdiff \| tree \| snapshot
2004-12-21	Stefano Zacchiroli	improved input syntax page with example queries of...	commit \| commitdiff \| tree \| snapshot
2004-12-21	Stefano Zacchiroli	added URI printing in the result page (so that mouse...	commit \| commitdiff \| tree \| snapshot
2004-12-21	Stefano Zacchiroli	first commit (in the wrong place --by CSC) of induction...	commit \| commitdiff \| tree \| snapshot
2004-12-11	Stefano Zacchiroli	ignores example binaries	commit \| commitdiff \| tree \| snapshot
2004-12-09	Stefano Zacchiroli	ported to new format of Parse_error exception (which...	commit \| commitdiff \| tree \| snapshot
2004-12-09	Stefano Zacchiroli	(dummy) porting to universes	commit \| commitdiff \| tree \| snapshot
2004-12-09	Stefano Zacchiroli	implemented pretty printer for (mutual) (co)inductive...	commit \| commitdiff \| tree \| snapshot
2004-12-09	Stefano Zacchiroli	(first) complete implementation of (mutual) (co)inducti...	commit \| commitdiff \| tree \| snapshot
2004-12-09	Stefano Zacchiroli	addded inductive definition to AST	commit \| commitdiff \| tree \| snapshot
2004-12-09	Stefano Zacchiroli	- enriched Parse_error exception with error location	commit \| commitdiff \| tree \| snapshot
2004-12-07	Andrea Asperti	symmetry of equality NOT used in auto	commit \| commitdiff \| tree \| snapshot
2004-12-06	Andrea Asperti	New version of auto with "width".	commit \| commitdiff \| tree \| snapshot
2004-12-03	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2004-12-03	Stefano Zacchiroli	moogle syntax help page, actually contains only syntax...	commit \| commitdiff \| tree \| snapshot
2004-12-03	Stefano Zacchiroli	changed "locate" so that it supports shell-like pattern...	commit \| commitdiff \| tree \| snapshot
2004-12-03	Stefano Zacchiroli	ported to universes	commit \| commitdiff \| tree \| snapshot
2004-12-02	Stefano Zacchiroli	* empty log message *	commit \| commitdiff \| tree \| snapshot
2004-12-02	Enrico Tassi	sync with universes and ~subst (and not ?(subst=[]))	commit \| commitdiff \| tree \| snapshot
2004-12-01	Enrico Tassi	Added universes handling. Tag PRE_UNIVERSES may help ;)	commit \| commitdiff \| tree \| snapshot
2004-12-01	Enrico Tassi	Added universes handling. The PRE_UNIVERSES tag may...	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
next

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

RSS Atom