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

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

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
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
next

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

RSS Atom