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

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

2005-11-04	Enrico Tassi	since the outtype is now refined correclty some types...	commit \| commitdiff \| tree \| snapshot
2005-11-04	Enrico Tassi	refined outtype used to be discharged	commit \| commitdiff \| tree \| snapshot
2005-11-04	Claudio Sacerdoti...	matita.opt are now considered as if they were matita	commit \| commitdiff \| tree \| snapshot
2005-11-04	Enrico Tassi	make profiler silent	commit \| commitdiff \| tree \| snapshot
2005-11-04	Enrico Tassi	added calbback to make the profiler silent	commit \| commitdiff \| tree \| snapshot
2005-11-04	Stefano Zacchiroli	added support for ALT-L expansion of tex macros	commit \| commitdiff \| tree \| snapshot
2005-11-04	Stefano Zacchiroli	ligature expansion now considers also tex macros	commit \| commitdiff \| tree \| snapshot
2005-11-04	Stefano Zacchiroli	exported is_blank	commit \| commitdiff \| tree \| snapshot
2005-11-04	Stefano Zacchiroli	added ligatures expansion support functions	commit \| commitdiff \| tree \| snapshot
2005-11-04	Stefano Zacchiroli	added support for expansion of ligatures ALT-L will...	commit \| commitdiff \| tree \| snapshot
2005-11-04	Stefano Zacchiroli	better distinction of (* ) and (* *) comments	commit \| commitdiff \| tree \| snapshot
2005-11-04	Stefano Zacchiroli	avoid losing work on CTRL-N	commit \| commitdiff \| tree \| snapshot
2005-11-04	Stefano Zacchiroli	removed no longer needed dependency on pxp	commit \| commitdiff \| tree \| snapshot
2005-11-04	Stefano Zacchiroli	fixed typo	commit \| commitdiff \| tree \| snapshot
2005-11-04	Stefano Zacchiroli	more structured makefile	commit \| commitdiff \| tree \| snapshot
2005-11-04	Stefano Zacchiroli	"towards a distribution of matita" changes:	commit \| commitdiff \| tree \| snapshot
2005-11-04	Stefano Zacchiroli	added tilde_expansion of directory settings	commit \| commitdiff \| tree \| snapshot
2005-11-04	Stefano Zacchiroli	added char functions:	commit \| commitdiff \| tree \| snapshot
2005-11-04	Stefano Zacchiroli	changed stack entry representation	commit \| commitdiff \| tree \| snapshot
2005-11-03	Stefano Zacchiroli	Bug fix: index.theory dereferentiation works also for...	commit \| commitdiff \| tree \| snapshot
2005-11-03	Claudio Sacerdoti...	Semantic change: I always consider a type with no const...	commit \| commitdiff \| tree \| snapshot
2005-11-03	Claudio Sacerdoti...	Semantic change: elimination of a term whose type is...	commit \| commitdiff \| tree \| snapshot
2005-11-03	Stefano Zacchiroli	missing mlis	commit \| commitdiff \| tree \| snapshot
2005-11-03	Stefano Zacchiroli	better dependencies among modules and symlinking of...	commit \| commitdiff \| tree \| snapshot
2005-11-03	Enrico Tassi	added documentation on allowed eliminations	commit \| commitdiff \| tree \| snapshot
2005-11-03	Claudio Sacerdoti...	1. a simplified version of check_allowed_sort_eliminati...	commit \| commitdiff \| tree \| snapshot
2005-11-03	Andrea Asperti	Euler totient function is multiplicative!	commit \| commitdiff \| tree \| snapshot
2005-11-03	Claudio Sacerdoti...	More exceptions pretty printed.	commit \| commitdiff \| tree \| snapshot
2005-11-03	Claudio Sacerdoti...	Major code semplification in check_allowed_sort_elimina...	commit \| commitdiff \| tree \| snapshot
2005-11-02	Claudio Sacerdoti...	Unfinished proof commented out.	commit \| commitdiff \| tree \| snapshot
2005-11-02	Claudio Sacerdoti...	Proof of unicity of proofs for:	commit \| commitdiff \| tree \| snapshot
2005-11-02	Stefano Zacchiroli	enable static linking of executables (try "make static")	commit \| commitdiff \| tree \| snapshot
2005-11-02	Stefano Zacchiroli	rebuilt	commit \| commitdiff \| tree \| snapshot
2005-11-02	Stefano Zacchiroli	added gcc lib dir for enable static linking of libstdc++	commit \| commitdiff \| tree \| snapshot
2005-11-02	Claudio Sacerdoti...	Maybe this time we will be lucky.	commit \| commitdiff \| tree \| snapshot
2005-11-02	Enrico Tassi	() around tactic terms	commit \| commitdiff \| tree \| snapshot
2005-11-02	Andrea Asperti	Totient function and related files.	commit \| commitdiff \| tree \| snapshot
2005-11-02	Stefano Zacchiroli	matita distribution stuff	commit \| commitdiff \| tree \| snapshot
2005-11-02	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-10-31	Claudio Sacerdoti...	Bugs fixed.	commit \| commitdiff \| tree \| snapshot
2005-10-29	Ferruccio Guidi	Aczel categories finished	commit \| commitdiff \| tree \| snapshot
2005-10-29	Claudio Sacerdoti...	Bug fixed: the wrong mark was chosen for yesterday.	commit \| commitdiff \| tree \| snapshot
2005-10-28	Claudio Sacerdoti...	Ported to multiple marks in the same day: today newest...	commit \| commitdiff \| tree \| snapshot
2005-10-28	Claudio Sacerdoti...	New "global performances" bench (for native code).	commit \| commitdiff \| tree \| snapshot
2005-10-28	Claudio Sacerdoti...	1. syntax error fixed	commit \| commitdiff \| tree \| snapshot
2005-10-28	Claudio Sacerdoti...	sql query fixed	commit \| commitdiff \| tree \| snapshot
2005-10-28	Claudio Sacerdoti...	Better detection of spurious status lines.	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom