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

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

2008-05-13	Ferruccio Guidi	we added a link to lambda-delta home page in the hope...	commit \| commitdiff \| tree
2008-03-23	Ferruccio Guidi	cicNotationPp: fixed letin syntax (now typeless)	commit \| commitdiff \| tree
2008-03-20	Ferruccio Guidi	Base-2 is not compiling properly and is excluded for now	commit \| commitdiff \| tree
2008-03-19	Ferruccio Guidi	Procedural : added some missing cases	commit \| commitdiff \| tree
2008-03-18	Ferruccio Guidi	LAMBDA-TYPES: level 2 dependences are now correct,...	commit \| commitdiff \| tree
2008-03-18	Ferruccio Guidi	Procedural : tentative update to the new letin cic...	commit \| commitdiff \| tree
2008-03-09	Ferruccio Guidi	LAMBDA-TYPES: some more generation lemmas and some...	commit \| commitdiff \| tree
2008-03-05	Ferruccio Guidi	some corrections and additions	commit \| commitdiff \| tree
2008-03-04	Ferruccio Guidi	components/library: dotdothack removed	commit \| commitdiff \| tree
2008-02-29	Ferruccio Guidi	we added the classic substitution function	commit \| commitdiff \| tree
2008-02-26	Ferruccio Guidi	I added some debugging information	commit \| commitdiff \| tree
2008-02-26	Ferruccio Guidi	added MATITAOPTIONS -onepass as for LAMBDA-TYPES	commit \| commitdiff \| tree
2008-02-26	Ferruccio Guidi	LAMBDA-TYPES: added wf3 (legal context predicate);	commit \| commitdiff \| tree
2008-02-24	Ferruccio Guidi	$(H) added :)	commit \| commitdiff \| tree
2008-02-24	Ferruccio Guidi	LAMBDA-TYPES: dependences calculation improved	commit \| commitdiff \| tree
2008-02-23	Ferruccio Guidi	LAMBDA-TYPES:	commit \| commitdiff \| tree
2008-02-22	Ferruccio Guidi	- added some options to matitadep: -stdout and -exclude	commit \| commitdiff \| tree
2008-02-21	Ferruccio Guidi	svn:ignores fixed	commit \| commitdiff \| tree
2008-02-20	Ferruccio Guidi	-onepass option removed from Makefile to comile Base...	commit \| commitdiff \| tree
2008-02-20	Ferruccio Guidi	LambdaDelta-1 regenerated as a subdevel ov LAMBDA-TYPES	commit \| commitdiff \| tree
2008-02-19	Ferruccio Guidi	dependences needed a fix :)	commit \| commitdiff \| tree
2008-02-19	Ferruccio Guidi	we are moving the devel root one dir level up	commit \| commitdiff \| tree
2008-02-19	Ferruccio Guidi	now inline "file.ma" is allowed.	commit \| commitdiff \| tree
2008-02-13	Ferruccio Guidi	baseuris removed from files	commit \| commitdiff \| tree
2008-02-13	Ferruccio Guidi	fixed dependences	commit \| commitdiff \| tree
2008-02-13	Ferruccio Guidi	renaming	commit \| commitdiff \| tree
2008-02-13	Ferruccio Guidi	renaming	commit \| commitdiff \| tree
2008-02-12	Ferruccio Guidi	renaming	commit \| commitdiff \| tree
2008-02-12	Ferruccio Guidi	regeneration with new results	commit \| commitdiff \| tree
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
next

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

RSS Atom