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

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

2005-11-09	Andrea Asperti	Added an example (well founded recursion).	commit \| commitdiff \| tree \| snapshot
2005-11-08	Claudio Sacerdoti...	Yet another semantics for simplify.	commit \| commitdiff \| tree \| snapshot
2005-11-08	Claudio Sacerdoti...	Yet another semantics for simplify.	commit \| commitdiff \| tree \| snapshot
2005-11-08	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-11-08	Enrico Tassi	fixed inductive types demonstrations	commit \| commitdiff \| tree \| snapshot
2005-11-08	Andrea Asperti	Typos.	commit \| commitdiff \| tree \| snapshot
2005-11-08	Claudio Sacerdoti...	CicTypeChecker.AssertFailure now printed.	commit \| commitdiff \| tree \| snapshot
2005-11-08	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree \| snapshot
2005-11-08	Claudio Sacerdoti...	New syntax for the outtype of a match.	commit \| commitdiff \| tree \| snapshot
2005-11-08	Enrico Tassi	added some stuff on inductive types	commit \| commitdiff \| tree \| snapshot
2005-11-07	Claudio Sacerdoti...	Refinement of a Cast was bugged.	commit \| commitdiff \| tree \| snapshot
2005-11-07	Claudio Sacerdoti...	AssertFailure from the type-checker now becomes an...	commit \| commitdiff \| tree \| snapshot
2005-11-07	Claudio Sacerdoti...	Let-ins with types can now be produced.	commit \| commitdiff \| tree \| snapshot
2005-11-07	Claudio Sacerdoti...	Avoid generation of let x = let rec x = ... in x in...	commit \| commitdiff \| tree \| snapshot
2005-11-07	Claudio Sacerdoti...	Let-ins with types can be produced.	commit \| commitdiff \| tree \| snapshot
2005-11-07	Claudio Sacerdoti...	Syntactic change:	commit \| commitdiff \| tree \| snapshot
2005-11-07	Claudio Sacerdoti...	Syntactic change:	commit \| commitdiff \| tree \| snapshot
2005-11-07	Claudio Sacerdoti...	Duplicated exception definition removed (used to give...	commit \| commitdiff \| tree \| snapshot
2005-11-07	Andrea Asperti	First draft of the introduction.	commit \| commitdiff \| tree \| snapshot
2005-11-07	Stefano Zacchiroli	changed script actions keybindings: s/CTRL-XXX/CTRL...	commit \| commitdiff \| tree \| snapshot
2005-11-07	Stefano Zacchiroli	bugfix: no longer raise End_of_file for scripts ending...	commit \| commitdiff \| tree \| snapshot
2005-11-07	Stefano Zacchiroli	list sorting (to be completed ...)	commit \| commitdiff \| tree \| snapshot
2005-11-07	Stefano Zacchiroli	added tail function	commit \| commitdiff \| tree \| snapshot
2005-11-07	Stefano Zacchiroli	added bool_elim (elimination which preserves infos...	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom