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

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

2005-10-28	Claudio Sacerdoti...	Mark fixed.	commit \| commitdiff \| tree \| snapshot
2005-10-28	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-10-28	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-10-28	Claudio Sacerdoti...	New format for benches (with much more precision).	commit \| commitdiff \| tree \| snapshot
2005-10-28	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-10-28	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-10-27	Claudio Sacerdoti...	1. Parameter enable (default true) added to HExtlib...	commit \| commitdiff \| tree \| snapshot
2005-10-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-10-27	Stefano Zacchiroli	typing errors	commit \| commitdiff \| tree \| snapshot
2005-10-26	Stefano Zacchiroli	added constraing on non-empty context for tactic applic...	commit \| commitdiff \| tree \| snapshot
2005-10-26	Stefano Zacchiroli	improved Makefile	commit \| commitdiff \| tree \| snapshot
2005-10-26	Claudio Sacerdoti...	Dead code removed.	commit \| commitdiff \| tree \| snapshot
2005-10-25	Claudio Sacerdoti...	Parentheses must now be put in patterns like in tactic...	commit \| commitdiff \| tree \| snapshot
2005-10-25	Claudio Sacerdoti...	Semantic change: applying a tactic to the empty goal...	commit \| commitdiff \| tree \| snapshot
2005-10-25	Claudio Sacerdoti...	Syntax change:	commit \| commitdiff \| tree \| snapshot
2005-10-25	Claudio Sacerdoti...	ProofEngineTypes.Fail printed correctly.	commit \| commitdiff \| tree \| snapshot
2005-10-25	Enrico Tassi	fixed -debug	commit \| commitdiff \| tree \| snapshot
2005-10-25	Enrico Tassi	moved the expansion of implicits inside the refiner...	commit \| commitdiff \| tree \| snapshot
2005-10-25	Enrico Tassi	fixed lapply on new tinycals semantic	commit \| commitdiff \| tree \| snapshot
2005-10-25	Stefano Zacchiroli	fixed some type error	commit \| commitdiff \| tree \| snapshot
2005-10-25	Andrea Asperti	experimental version	commit \| commitdiff \| tree \| snapshot
2005-10-25	Stefano Zacchiroli	new tacticals	commit \| commitdiff \| tree \| snapshot
2005-10-25	Stefano Zacchiroli	ported to new syntactic requirement about terms being...	commit \| commitdiff \| tree \| snapshot
2005-10-25	Stefano Zacchiroli	added iter_option	commit \| commitdiff \| tree \| snapshot
2005-10-25	Stefano Zacchiroli	"better" (????) identification of assertion failures	commit \| commitdiff \| tree \| snapshot
2005-10-25	Claudio Sacerdoti...	Debugging code turned off.	commit \| commitdiff \| tree \| snapshot
2005-10-25	Claudio Sacerdoti...	dump_moo added	commit \| commitdiff \| tree \| snapshot
2005-10-25	Claudio Sacerdoti...	* More profiling code	commit \| commitdiff \| tree \| snapshot
2005-10-25	Claudio Sacerdoti...	Every exception that used to have type string is now...	commit \| commitdiff \| tree \| snapshot
2005-10-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-10-25	Andrea Asperti	readme file	commit \| commitdiff \| tree \| snapshot
2005-10-25	Claudio Sacerdoti...	~subst fixed everywhere in the type-checker:	commit \| commitdiff \| tree \| snapshot
2005-10-25	Claudio Sacerdoti...	t renamed to t' since t was already defined in the...	commit \| commitdiff \| tree \| snapshot
2005-10-25	Claudio Sacerdoti...	Bug fixed: the current substitution and metasenv were...	commit \| commitdiff \| tree \| snapshot
2005-10-24	Stefano Zacchiroli	new semantics, should be the basis for the (re-)impleme...	commit \| commitdiff \| tree \| snapshot
2005-10-24	Andrea Asperti	Minor fixings.	commit \| commitdiff \| tree \| snapshot
2005-10-24	Andrea Asperti	Tentative title.	commit \| commitdiff \| tree \| snapshot
2005-10-19	Andrea Asperti	Corrected a mistake in power_upto, and decreased the...	commit \| commitdiff \| tree \| snapshot
2005-10-18	Ferruccio Guidi	definition of eq improved (?) parametrizing an argument	commit \| commitdiff \| tree \| snapshot
2005-10-17	Enrico Tassi	added coercions to Prod	commit \| commitdiff \| tree \| snapshot
2005-10-17	Alberto Griggio	added some comments; general code cleanup	commit \| commitdiff \| tree \| snapshot
2005-10-17	Andrea Asperti	Added basic bibliography.	commit \| commitdiff \| tree \| snapshot
2005-10-13	Ferruccio Guidi	more comments added	commit \| commitdiff \| tree \| snapshot
2005-10-13	Enrico Tassi	added few proofs	commit \| commitdiff \| tree \| snapshot
2005-10-12	Alberto Griggio	fixed a couple of bugs that broke tests...	commit \| commitdiff \| tree \| snapshot
2005-10-12	Enrico Tassi	few more cases	commit \| commitdiff \| tree \| snapshot
2005-10-12	Ferruccio Guidi	tlt_defs: notation updated	commit \| commitdiff \| tree \| snapshot
2005-10-11	Enrico Tassi	added few cases	commit \| commitdiff \| tree \| snapshot
2005-10-11	Alberto Griggio	fixed bugs in Indexing.find_matches and Saturation...	commit \| commitdiff \| tree \| snapshot
2005-10-11	Enrico Tassi	fixed some typos	commit \| commitdiff \| tree \| snapshot
2005-10-11	Stefano Zacchiroli	added goals_of_proof	commit \| commitdiff \| tree \| snapshot
2005-10-11	Andrea Asperti	realizability for the induction principle.	commit \| commitdiff \| tree \| snapshot
2005-10-11	Stefano Zacchiroli	added list_concat	commit \| commitdiff \| tree \| snapshot
2005-10-10	Stefano Zacchiroli	added level2 <-> level3 transformations	commit \| commitdiff \| tree \| snapshot
2005-10-10	Alberto Griggio	fixed a bug (status not reset properly between calls...	commit \| commitdiff \| tree \| snapshot
2005-10-10	Andrea Asperti	First draft.	commit \| commitdiff \| tree \| snapshot
2005-10-10	Andrea Asperti	Empty directory.	commit \| commitdiff \| tree \| snapshot
2005-10-10	Stefano Zacchiroli	- added stack frame tagging	commit \| commitdiff \| tree \| snapshot
2005-10-09	Claudio Sacerdoti...	More informative exceptions raised.	commit \| commitdiff \| tree \| snapshot
2005-10-07	Stefano Zacchiroli	added -nodb support	commit \| commitdiff \| tree \| snapshot
2005-10-07	Stefano Zacchiroli	added support for MATITA_FLAGS and NODB make variables	commit \| commitdiff \| tree \| snapshot
2005-10-06	Stefano Zacchiroli	changed functor interface, now based on proofs instead...	commit \| commitdiff \| tree \| snapshot
2005-10-06	Claudio Sacerdoti...	NODB implemented	commit \| commitdiff \| tree \| snapshot
2005-10-06	Stefano Zacchiroli	ignore usual *tex crap	commit \| commitdiff \| tree \| snapshot
2005-10-06	Stefano Zacchiroli	added Makefile	commit \| commitdiff \| tree \| snapshot
2005-10-06	Stefano Zacchiroli	completed instantiatian of level 2 patterns from level 1	commit \| commitdiff \| tree \| snapshot
2005-10-06	Stefano Zacchiroli	bugfix: avoid diversion in "make opt"	commit \| commitdiff \| tree \| snapshot
2005-10-06	Stefano Zacchiroli	- better naming	commit \| commitdiff \| tree \| snapshot
2005-10-06	Stefano Zacchiroli	first check in of continuationals implementation	commit \| commitdiff \| tree \| snapshot
2005-10-06	Stefano Zacchiroli	in the end: ... proper handling of multiple bindings...	commit \| commitdiff \| tree \| snapshot
2005-10-06	Stefano Zacchiroli	bugfix: multiple bindings of the same key work again	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	completed support for "-nodb", now also matitaclean...	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	s/commands_of_domain_and_codomain_items_list/aliases_of...	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	added metadata "commands"	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	uncommented find_cic_appl_pattern_uris	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	added find	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	removed debug saving of "foo.conf.xml"	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	- added support for "-nodb" flag (still missing support...	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	separated "]]" to avoid clash with (temporary) continua...	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	added MATITA_FLAGS support	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	added hmysql dependency	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	- "load_from" no longer clears the previous registry...	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	rebut	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	added hmysql	commit \| commitdiff \| tree \| snapshot
2005-10-05	Stefano Zacchiroli	moved hmysql to a separate module	commit \| commitdiff \| tree \| snapshot
2005-10-05	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-10-05	Enrico Tassi	aded hmysql/	commit \| commitdiff \| tree \| snapshot
2005-10-04	Stefano Zacchiroli	added filter_map	commit \| commitdiff \| tree \| snapshot
2005-10-03	Luca Padovani	incomplete snapshot ....	commit \| commitdiff \| tree \| snapshot
2005-10-03	Stefano Zacchiroli	restated ...	commit \| commitdiff \| tree \| snapshot
2005-10-03	Andrea Asperti	Added congruence.ma.	commit \| commitdiff \| tree \| snapshot
2005-10-03	Enrico Tassi	the filled object is inserted in the env after a succes...	commit \| commitdiff \| tree \| snapshot
2005-10-03	Andrea Asperti	Several changes. Proof of Fermat's little theorem compl...	commit \| commitdiff \| tree \| snapshot
2005-10-03	Enrico Tassi	fixed clean_and_fill that now fills the object (used...	commit \| commitdiff \| tree \| snapshot
2005-10-03	Enrico Tassi	moved to fast implementation and fixed a bug in the...	commit \| commitdiff \| tree \| snapshot
2005-10-02	Luca Padovani	* well-formedness constraints	commit \| commitdiff \| tree \| snapshot
2005-10-02	Luca Padovani	* added well-formedness rules for level 2 patterns	commit \| commitdiff \| tree \| snapshot
2005-10-01	Luca Padovani	* added pattern matching of level 2 terms	commit \| commitdiff \| tree \| snapshot
2005-09-30	Stefano Zacchiroli	- fixed some metasenv issues	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom