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

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

2007-11-14	Ferruccio Guidi	now destruct takes an optional list of term rather...	commit \| commitdiff \| tree
2007-11-13	Ferruccio Guidi	- ProofEngineHelpers: namer_of moved to GrafiteEngine	commit \| commitdiff \| tree
2007-11-13	Ferruccio Guidi	previously hidden simplifications (in old destruct...	commit \| commitdiff \| tree
2007-11-12	Ferruccio Guidi	- destruct tactic: automatic simplification in case...	commit \| commitdiff \| tree
2007-11-12	Ferruccio Guidi	refactoring	commit \| commitdiff \| tree
2007-11-10	Ferruccio Guidi	old subst tactics removed. New destruct tactic used...	commit \| commitdiff \| tree
2007-11-08	Ferruccio Guidi	- subst tactic keyword removed from highlight syntax...	commit \| commitdiff \| tree
2007-11-07	Ferruccio Guidi	set svn:ignore to *.ml in the deve directories	commit \| commitdiff \| tree
2007-11-07	Ferruccio Guidi	- bug fix in destruct	commit \| commitdiff \| tree
2007-11-06	Ferruccio Guidi	new implementation of the destruct tactic,	commit \| commitdiff \| tree
2007-11-02	Ferruccio Guidi	- tacticals: new tactical ifs added: uses thens where...	commit \| commitdiff \| tree
2007-10-30	Ferruccio Guidi	better implementation of if_	commit \| commitdiff \| tree
2007-10-29	Ferruccio Guidi	- destruct: core of subst tactic implemented,	commit \| commitdiff \| tree
2007-10-29	Ferruccio Guidi	reverted matita db configuration fixed	commit \| commitdiff \| tree
2007-10-25	Ferruccio Guidi	bug fix in injection e relocate term	commit \| commitdiff \| tree
2007-10-24	Ferruccio Guidi	bug fix in injection: we have to recur on the generated...	commit \| commitdiff \| tree
2007-10-24	Ferruccio Guidi	we revisited the implementation of the destruct tactic...	commit \| commitdiff \| tree
2007-10-24	Ferruccio Guidi	- new function for general relocation of local references...	commit \| commitdiff \| tree
2007-10-13	Ferruccio Guidi	- some new auxiliary lemmas	commit \| commitdiff \| tree
2007-10-13	Ferruccio Guidi	removed unused notation =>	commit \| commitdiff \| tree
2007-09-27	Ferruccio Guidi	added some notation	commit \| commitdiff \| tree
2007-09-26	Ferruccio Guidi	started the Proof Weight predicate for cut elimination...	commit \| commitdiff \| tree
2007-09-25	Ferruccio Guidi	bug fix in Track definition	commit \| commitdiff \| tree
2007-09-23	Ferruccio Guidi	we chmod the created directories to override the umask...	commit \| commitdiff \| tree
2007-09-23	Ferruccio Guidi	fixed some file permissions (anybody can rebuild a...	commit \| commitdiff \| tree
2007-09-22	Ferruccio Guidi	- system flag now forks for matitadep too	commit \| commitdiff \| tree
2007-09-21	Ferruccio Guidi	bug fix in configuration dependences	commit \| commitdiff \| tree
2007-09-21	Ferruccio Guidi	now the -bench and -system flags work for matitamake	commit \| commitdiff \| tree
2007-09-15	Ferruccio Guidi	utf8 changed to UTF-8 for compatibility with IExplorer	commit \| commitdiff \| tree
2007-09-14	Ferruccio Guidi	this preamble was completely wrong :)	commit \| commitdiff \| tree
2007-09-13	Ferruccio Guidi	a working example :)	commit \| commitdiff \| tree
2007-09-13	Ferruccio Guidi	the published devels must be removed from the tests	commit \| commitdiff \| tree
2007-09-13	Ferruccio Guidi	new matita.conf with getter entry to see the published...	commit \| commitdiff \| tree
2007-09-12	Ferruccio Guidi	rdfly patched to work with the new db structure	commit \| commitdiff \| tree
2007-09-11	Ferruccio Guidi	librarySync - we do not generate the object attributes...	commit \| commitdiff \| tree
2007-09-05	Ferruccio Guidi	- lybrarySync:	commit \| commitdiff \| tree
2007-09-05	Ferruccio Guidi	- matitaInit matitaprover matitadep matitamake:	commit \| commitdiff \| tree
2007-08-26	Ferruccio Guidi	We define proof tree tracks and normal proof tree tracks...	commit \| commitdiff \| tree
2007-08-26	Ferruccio Guidi	refactoring	commit \| commitdiff \| tree
2007-08-26	Ferruccio Guidi	proof by "introduction" (impi) implemented in full	commit \| commitdiff \| tree
2007-07-26	Ferruccio Guidi	We add a binary for computing the "heights" of helm...	commit \| commitdiff \| tree
2007-07-26	Ferruccio Guidi	makefiles updated	commit \| commitdiff \| tree
2007-07-25	Ferruccio Guidi	makefile updated	commit \| commitdiff \| tree
2007-07-25	Ferruccio Guidi	matitac: We do not generate the .moo and .lexicon of...	commit \| commitdiff \| tree
2007-07-24	Ferruccio Guidi	Makefile missing in previous commit	commit \| commitdiff \| tree
2007-07-24	Ferruccio Guidi	New developement LOGIC about the cut elimination of...	commit \| commitdiff \| tree
2007-07-23	Ferruccio Guidi	auto vs autobatch fixed	commit \| commitdiff \| tree
2007-07-23	Ferruccio Guidi	autobatch parameters reajusted	commit \| commitdiff \| tree
2007-07-22	Ferruccio Guidi	Procedural: the statement body and it inner types must...	commit \| commitdiff \| tree
2007-07-20	Ferruccio Guidi	acic_procedural: bug fix:	commit \| commitdiff \| tree
2007-07-19	Ferruccio Guidi	cicUtil : new test function "is_sober" to test...	commit \| commitdiff \| tree
2007-07-18	Ferruccio Guidi	the predicate for elim was not built correctly when...	commit \| commitdiff \| tree
2007-07-14	Ferruccio Guidi	new definitions and new theorems	commit \| commitdiff \| tree
2007-07-11	Ferruccio Guidi	native dependences fixed	commit \| commitdiff \| tree
2007-07-10	Ferruccio Guidi	persistent inner types are now generated in publishing...	commit \| commitdiff \| tree
2007-07-09	Ferruccio Guidi	new configuration file sample	commit \| commitdiff \| tree
2007-07-09	Ferruccio Guidi	tassi: ported to the new DB architecture.	commit \| commitdiff \| tree
2007-06-27	Ferruccio Guidi	svn:ignore property set	commit \| commitdiff \| tree
2007-06-26	Ferruccio Guidi	some old auto yurned into autobatch	commit \| commitdiff \| tree
2007-05-20	Ferruccio Guidi	applyTransformation: added debugging information	commit \| commitdiff \| tree
2007-05-18	Ferruccio Guidi	- new devel contribs/LAMBDA-TYPES/Base-2 with the automatica...	commit \| commitdiff \| tree
2007-05-15	Ferruccio Guidi	more informations on nodes, fixed a bug on conversion...	commit \| commitdiff \| tree
2007-05-15	Ferruccio Guidi	Wrong invariant: Hypothesis (i.e. lambda-abstractions...	commit \| commitdiff \| tree
2007-05-14	Ferruccio Guidi	CSC: terrific bug fixed. Enrico commented the application...	commit \| commitdiff \| tree
2007-05-13	Ferruccio Guidi	library-auto removed from tests (too slow even in native...	commit \| commitdiff \| tree
2007-05-13	Ferruccio Guidi	CicInspect: a function for counting the nodes of a...	commit \| commitdiff \| tree
2007-05-10	Ferruccio Guidi	Procedural: clear tactics added	commit \| commitdiff \| tree
2007-05-09	Ferruccio Guidi	PrimitiveTactics: intros _ now aveilable	commit \| commitdiff \| tree
2007-05-08	Ferruccio Guidi	DoubleTypeInference: added a comment on "does_not_occur"	commit \| commitdiff \| tree
2007-05-03	Ferruccio Guidi	elim with a pattern now works correctly (hopefully)	commit \| commitdiff \| tree
2007-05-03	Ferruccio Guidi	library-auto is only tested in native code (in byte...	commit \| commitdiff \| tree
2007-05-02	Ferruccio Guidi	some improvements	commit \| commitdiff \| tree
2007-05-01	Ferruccio Guidi	SubstTactic: bug fix	commit \| commitdiff \| tree
2007-04-29	Ferruccio Guidi	GrafiteAstPp: \n's finally fixed	commit \| commitdiff \| tree
2007-04-28	Ferruccio Guidi	AMBDA-TYPES: some improvements. subst now fully exploited	commit \| commitdiff \| tree
2007-04-27	Ferruccio Guidi	LAMBDA-TYPES: some improvements	commit \| commitdiff \| tree
2007-04-26	Ferruccio Guidi	procedural: bug fixes	commit \| commitdiff \| tree
2007-04-26	Ferruccio Guidi	bug fix in subst tactic	commit \| commitdiff \| tree
2007-04-17	Ferruccio Guidi	"end" keyword added	commit \| commitdiff \| tree
2007-04-16	Ferruccio Guidi	subst tactic put in a file on its own	commit \| commitdiff \| tree
2007-04-04	Ferruccio Guidi	alpha equivalence fixed: in the case "meta against...	commit \| commitdiff \| tree
2007-04-04	Ferruccio Guidi	alpha equivalence test factorized and moved to CicUtil	commit \| commitdiff \| tree
2007-04-02	Ferruccio Guidi	Procedural: some improvements	commit \| commitdiff \| tree
2007-04-02	Ferruccio Guidi	Procedural: refactoring	commit \| commitdiff \| tree
2007-04-02	Ferruccio Guidi	Cic2acic : added some debugging information	commit \| commitdiff \| tree
2007-03-30	Ferruccio Guidi	Optimizer: refactored according to its formal description	commit \| commitdiff \| tree
2007-03-16	Ferruccio Guidi	elim tactic: it needs two arguments, a term as well...	commit \| commitdiff \| tree
2007-03-13	Ferruccio Guidi	elim tactic: now takes a pattern instead of just a...	commit \| commitdiff \| tree
2007-03-11	Ferruccio Guidi	case to elim conversion works fine	commit \| commitdiff \| tree
2007-03-10	Ferruccio Guidi	added a test for rewrite under Pi	commit \| commitdiff \| tree
2007-03-10	Ferruccio Guidi	rewrite tactic: bug fix in rewriting under Pi's:	commit \| commitdiff \| tree
2007-03-09	Ferruccio Guidi	Procedural: 2 bug fix in eta expansion + 1 bug fix...	commit \| commitdiff \| tree
2007-03-08	Ferruccio Guidi	some improvements	commit \| commitdiff \| tree
2007-03-07	Ferruccio Guidi	Procedural: bug fix	commit \| commitdiff \| tree
2007-03-07	Ferruccio Guidi	Relational: one file was missing :-)	commit \| commitdiff \| tree
2007-03-07	Ferruccio Guidi	Procedural : cic object preprocessor added	commit \| commitdiff \| tree
2007-03-02	Ferruccio Guidi	Procedural: now patterns for rewrite are generated...	commit \| commitdiff \| tree
2007-03-01	Ferruccio Guidi	Procedural: some improvements	commit \| commitdiff \| tree
2007-03-01	Ferruccio Guidi	procedural proof of ty3_gen_cast	commit \| commitdiff \| tree
2007-02-27	Ferruccio Guidi	some improvements	commit \| commitdiff \| tree
next

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

RSS Atom