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

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

2008-07-02	Ferruccio Guidi	- new tactic applyP for use in the Procedural script...	commit \| commitdiff \| tree
2008-07-01	Ferruccio Guidi	- lambda-delta: some speed up (not very much :) actually)	commit \| commitdiff \| tree
2008-06-30	Ferruccio Guidi	we improved the data structures used in the translation...	commit \| commitdiff \| tree
2008-06-30	Ferruccio Guidi	we tranlate an Automath book in an itermediate format...	commit \| commitdiff \| tree
2008-06-23	Ferruccio Guidi	metaAut.xlate_item started	commit \| commitdiff \| tree
2008-06-23	Ferruccio Guidi	we set the http daemon timeout to 15 minutes, which...	commit \| commitdiff \| tree
2008-06-23	Ferruccio Guidi	stylesheet application moved after header send	commit \| commitdiff \| tree
2008-06-22	Ferruccio Guidi	- grafiteParser.ml: the callback invocation was displaced	commit \| commitdiff \| tree
2008-06-19	Ferruccio Guidi	- Procedural: we now check that an eliminator opens...	commit \| commitdiff \| tree
2008-06-16	Ferruccio Guidi	transformation from automath to intermediate language...	commit \| commitdiff \| tree
2008-06-13	Ferruccio Guidi	copyright information added in the grundlagen text	commit \| commitdiff \| tree
2008-06-13	Ferruccio Guidi	Initial version of the Helena Checker	commit \| commitdiff \| tree
2008-05-26	Ferruccio Guidi	better presentation of lambda-delta	commit \| commitdiff \| tree
2008-05-26	Ferruccio Guidi	- some bugs fixed in the domain-based preorders on...	commit \| commitdiff \| tree
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
next

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

RSS Atom