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

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

2007-04-05	Enrico Tassi	pattern with match fixed	commit \| commitdiff \| tree \| snapshot
2007-04-05	Enrico Tassi	many printings added	commit \| commitdiff \| tree \| snapshot
2007-04-05	Enrico Tassi	fixed the pretty (notation aware) printer	commit \| commitdiff \| tree \| snapshot
2007-04-04	Ferruccio Guidi	alpha equivalence fixed: in the case "meta against...	commit \| commitdiff \| tree \| snapshot
2007-04-04	Ferruccio Guidi	alpha equivalence test factorized and moved to CicUtil	commit \| commitdiff \| tree \| snapshot
2007-04-03	Enrico Tassi	new case implementation	commit \| commitdiff \| tree \| snapshot
2007-04-02	Ferruccio Guidi	Procedural: some improvements	commit \| commitdiff \| tree \| snapshot
2007-04-02	Ferruccio Guidi	Procedural: refactoring	commit \| commitdiff \| tree \| snapshot
2007-04-02	Ferruccio Guidi	Cic2acic : added some debugging information	commit \| commitdiff \| tree \| snapshot
2007-04-02	Enrico Tassi	added some tests for cases	commit \| commitdiff \| tree \| snapshot
2007-04-02	Enrico Tassi	hopefully fixed cases implementation	commit \| commitdiff \| tree \| snapshot
2007-03-30	Ferruccio Guidi	Optimizer: refactored according to its formal description	commit \| commitdiff \| tree \| snapshot
2007-03-26	Claudio Sacerdoti...	Serious bug fixed: a variable was captured during unfol...	commit \| commitdiff \| tree \| snapshot
2007-03-26	Enrico Tassi	added eta expansion to avoid universe inconsistency.	commit \| commitdiff \| tree \| snapshot
2007-03-22	Claudio Sacerdoti...	Several instances of the same bug fixed at once: when...	commit \| commitdiff \| tree \| snapshot
2007-03-22	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree \| snapshot
2007-03-16	Ferruccio Guidi	elim tactic: it needs two arguments, a term as well...	commit \| commitdiff \| tree \| snapshot
2007-03-16	Andrea Asperti	New contrib moebius.ma.	commit \| commitdiff \| tree \| snapshot
2007-03-16	Andrea Asperti	Extensions required for the moebius function (in Z).	commit \| commitdiff \| tree \| snapshot
2007-03-13	Claudio Sacerdoti...	Role of	commit \| commitdiff \| tree \| snapshot
2007-03-13	Ferruccio Guidi	elim tactic: now takes a pattern instead of just a...	commit \| commitdiff \| tree \| snapshot
2007-03-13	Andrea Asperti	Few theorems added.`	commit \| commitdiff \| tree \| snapshot
2007-03-13	Andrea Asperti	new version of div_and_mod	commit \| commitdiff \| tree \| snapshot
2007-03-13	Andrea Asperti	Capturing Invalid_argument inside pp (otherwise we...	commit \| commitdiff \| tree \| snapshot
2007-03-11	Ferruccio Guidi	case to elim conversion works fine	commit \| commitdiff \| tree \| snapshot
2007-03-10	Ferruccio Guidi	added a test for rewrite under Pi	commit \| commitdiff \| tree \| snapshot
2007-03-10	Ferruccio Guidi	rewrite tactic: bug fix in rewriting under Pi's:	commit \| commitdiff \| tree \| snapshot
2007-03-09	Ferruccio Guidi	Procedural: 2 bug fix in eta expansion + 1 bug fix...	commit \| commitdiff \| tree \| snapshot
2007-03-08	Ferruccio Guidi	some improvements	commit \| commitdiff \| tree \| snapshot
2007-03-07	Ferruccio Guidi	Procedural: bug fix	commit \| commitdiff \| tree \| snapshot
2007-03-07	Ferruccio Guidi	Relational: one file was missing :-)	commit \| commitdiff \| tree \| snapshot
2007-03-07	Ferruccio Guidi	Procedural : cic object preprocessor added	commit \| commitdiff \| tree \| snapshot
2007-03-02	Ferruccio Guidi	Procedural: now patterns for rewrite are generated...	commit \| commitdiff \| tree \| snapshot
2007-03-01	Ferruccio Guidi	Procedural: some improvements	commit \| commitdiff \| tree \| snapshot
2007-03-01	Ferruccio Guidi	procedural proof of ty3_gen_cast	commit \| commitdiff \| tree \| snapshot
2007-03-01	Enrico Zoli	"by j let x : T such that P(x)" generalized to allow...	commit \| commitdiff \| tree \| snapshot
2007-02-27	Ferruccio Guidi	some improvements	commit \| commitdiff \| tree \| snapshot
2007-02-27	Ferruccio Guidi	- Procedural: some improvements	commit \| commitdiff \| tree \| snapshot
2007-02-26	Ferruccio Guidi	decompose: delta-expansion of the type to eliminate...	commit \| commitdiff \| tree \| snapshot
2007-02-25	Ferruccio Guidi	RELATIONAL: new undecomposable definition of NLE	commit \| commitdiff \| tree \| snapshot
2007-02-21	Ferruccio Guidi	decompose now works without premises	commit \| commitdiff \| tree \| snapshot
2007-02-21	Ferruccio Guidi	procedural : some improvements.	commit \| commitdiff \| tree \| snapshot
2007-02-20	Ferruccio Guidi	acic_procedural: changed module compilation order	commit \| commitdiff \| tree \| snapshot
2007-02-20	notin	small fix to make it compile again	commit \| commitdiff \| tree \| snapshot
2007-02-19	Enrico Tassi	added some code to print the praamodulation proofs...	commit \| commitdiff \| tree \| snapshot
2007-02-19	Ferruccio Guidi	Unified-Sub: lift_comm completed	commit \| commitdiff \| tree \| snapshot
2007-02-17	Ferruccio Guidi	contribs: some improvements	commit \| commitdiff \| tree \| snapshot
2007-02-15	Ferruccio Guidi	contribs: some improvements	commit \| commitdiff \| tree \| snapshot
2007-02-15	Ferruccio Guidi	refactoring	commit \| commitdiff \| tree \| snapshot
2007-02-14	Ferruccio Guidi	some improvements	commit \| commitdiff \| tree \| snapshot
2007-02-14	Ferruccio Guidi	Procedural : some improvements	commit \| commitdiff \| tree \| snapshot
2007-02-12	Ferruccio Guidi	LexiconAstPp: fixed syntax for include	commit \| commitdiff \| tree \| snapshot
2007-02-12	Ferruccio Guidi	unified: some theorems on Lift started	commit \| commitdiff \| tree \| snapshot
2007-02-11	Ferruccio Guidi	Unified: INC and BEq removed	commit \| commitdiff \| tree \| snapshot
2007-02-09	Ferruccio Guidi	added option -dump to matitac for persistent macro...	commit \| commitdiff \| tree \| snapshot
2007-02-09	Claudio Sacerdoti...	Avoid generating invalid names with "'" in the middle...	commit \| commitdiff \| tree \| snapshot
2007-02-09	Stefano Zacchiroli	Added toggle for enabling/disabling the conversion...	commit \| commitdiff \| tree \| snapshot
2007-02-09	Claudio Sacerdoti...	The ApplyTransformation.txt_of_term function has been...	commit \| commitdiff \| tree \| snapshot
2007-02-09	Stefano Zacchiroli	- moved to the view menu toggles for coercion hiding...	commit \| commitdiff \| tree \| snapshot
2007-02-09	Claudio Sacerdoti...	Exceptions should never escape the final exception...	commit \| commitdiff \| tree \| snapshot
2007-02-09	Claudio Sacerdoti...	Debugging code fixed. To enable debugging just set...	commit \| commitdiff \| tree \| snapshot
2007-02-09	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree \| snapshot
2007-02-09	Stefano Zacchiroli	moved the high level pretty printing setting to a toggl...	commit \| commitdiff \| tree \| snapshot
2007-02-08	Claudio Sacerdoti...	More progress in technicalities/setoids.ma.	commit \| commitdiff \| tree \| snapshot
2007-02-08	Claudio Sacerdoti...	Manual for the "default" command updated.	commit \| commitdiff \| tree \| snapshot
2007-02-08	Claudio Sacerdoti...	* 'default "equality"' command changed to consider...	commit \| commitdiff \| tree \| snapshot
2007-02-08	Claudio Sacerdoti...	If a pretty printed term spans on multiple lines, then...	commit \| commitdiff \| tree \| snapshot
2007-02-08	Claudio Sacerdoti...	Important commit:	commit \| commitdiff \| tree \| snapshot
2007-02-08	Ferruccio Guidi	developments fixup	commit \| commitdiff \| tree \| snapshot
2007-02-08	Ferruccio Guidi	Unified refactored	commit \| commitdiff \| tree \| snapshot
2007-02-08	Ferruccio Guidi	definitions fixup	commit \| commitdiff \| tree \| snapshot
2007-02-08	Ferruccio Guidi	fix dependences for matita	commit \| commitdiff \| tree \| snapshot
2007-02-07	Ferruccio Guidi	LAMBDA-TYPES: refactored	commit \| commitdiff \| tree \| snapshot
2007-02-07	Ferruccio Guidi	refactoring	commit \| commitdiff \| tree \| snapshot
2007-02-07	Ferruccio Guidi	Level-1 refactored	commit \| commitdiff \| tree \| snapshot
2007-02-07	Ferruccio Guidi	refactoring	commit \| commitdiff \| tree \| snapshot
2007-02-07	Ferruccio Guidi	refactoring	commit \| commitdiff \| tree \| snapshot
2007-02-07	Claudio Sacerdoti...	New dependency over acic_procedural.	commit \| commitdiff \| tree \| snapshot
2007-02-06	Ferruccio Guidi	- Procedural: moved in a directory on its own	commit \| commitdiff \| tree \| snapshot
2007-02-06	Claudio Sacerdoti...	More stuff in technicalities/setoids.ma	commit \| commitdiff \| tree \| snapshot
2007-02-06	Claudio Sacerdoti...	Debugging deactivated.	commit \| commitdiff \| tree \| snapshot
2007-02-06	Claudio Sacerdoti...	Bug fixed in the computation of the disambiguation...	commit \| commitdiff \| tree \| snapshot
2007-02-06	Claudio Sacerdoti...	Incredible bug fixed in Fix and CoFix. The types of...	commit \| commitdiff \| tree \| snapshot
2007-02-05	Claudio Sacerdoti...	Second formulation of a constructive (positive) proof...	commit \| commitdiff \| tree \| snapshot
2007-02-02	Claudio Sacerdoti...	Serious bug fixed: the types of a real mutual fix defin...	commit \| commitdiff \| tree \| snapshot
2007-02-02	Ferruccio Guidi	added preamble file in LambdaDelta and improved theory...	commit \| commitdiff \| tree \| snapshot
2007-02-02	Ferruccio Guidi	The baseuris changed	commit \| commitdiff \| tree \| snapshot
2007-02-01	Ferruccio Guidi	Level-1: regenerated with differnt baseuris	commit \| commitdiff \| tree \| snapshot
2007-02-01	Enrico Tassi	restored coercions between eq and eq	commit \| commitdiff \| tree \| snapshot
2007-02-01	Enrico Tassi	reverted a commented substitution in build_newgoal...	commit \| commitdiff \| tree \| snapshot
2007-01-31	Ferruccio Guidi	methods eos, goto, advance and retract now catch Invali...	commit \| commitdiff \| tree \| snapshot
2007-01-31	Claudio Sacerdoti...	Several bugs fixed:	commit \| commitdiff \| tree \| snapshot
2007-01-31	Claudio Sacerdoti...	New test for mutual recursive definitions.	commit \| commitdiff \| tree \| snapshot
2007-01-30	Claudio Sacerdoti...	Proof size nicely reduced using distributive branching...	commit \| commitdiff \| tree \| snapshot
2007-01-30	Claudio Sacerdoti...	Even more (painful) work on setoids.	commit \| commitdiff \| tree \| snapshot
2007-01-30	Claudio Sacerdoti...	Behaviour of CicRefine.type_of_aux' on MutCases changed...	commit \| commitdiff \| tree \| snapshot
2007-01-29	Claudio Sacerdoti...	More work on setoids.	commit \| commitdiff \| tree \| snapshot
2007-01-29	Claudio Sacerdoti...	Some more datatypes lifted to Type.	commit \| commitdiff \| tree \| snapshot
2007-01-29	Stefano Zacchiroli	well-formed ocamldoc comment	commit \| commitdiff \| tree \| snapshot
2007-01-29	Stefano Zacchiroli	preliminary cookie support	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom