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

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

2008-08-21	Ferruccio Guidi	basic support for imposed flavour in procedural object...	commit \| commitdiff \| tree
2008-07-22	Ferruccio Guidi	matitadep: we now handle the inline of an uri, we removed...	commit \| commitdiff \| tree
2008-07-22	Ferruccio Guidi	transcript: now we can generate procedural output	commit \| commitdiff \| tree
2008-07-21	Ferruccio Guidi	we implemented the support for generating ma files...	commit \| commitdiff \| tree
2008-07-16	Ferruccio Guidi	Procedural: some comments added in the generated script	commit \| commitdiff \| tree
2008-07-15	Ferruccio Guidi	cic2acic: new function acic_term_of_cic_term	commit \| commitdiff \| tree
2008-07-14	Ferruccio Guidi	lambda-delta: we added the support for position indexes...	commit \| commitdiff \| tree
2008-07-14	Ferruccio Guidi	Procedural: we added the support for rendering definitions...	commit \| commitdiff \| tree
2008-07-13	Ferruccio Guidi	Procedural: we added the support for theorem flavours...	commit \| commitdiff \| tree
2008-07-13	Ferruccio Guidi	cicUtil : we added a context to is_sober...	commit \| commitdiff \| tree
2008-07-12	Ferruccio Guidi	Procedural: bug fix in the procedural rendering of...	commit \| commitdiff \| tree
2008-07-12	Ferruccio Guidi	librarian: retrieval of buildable files speeded up...	commit \| commitdiff \| tree
2008-07-09	Ferruccio Guidi	some bug fixes	commit \| commitdiff \| tree
2008-07-04	Ferruccio Guidi	- we replaced a normalize with a whd in the classification...	commit \| commitdiff \| tree
2008-07-04	Ferruccio Guidi	- Procedural: bug fix in rendering the application...	commit \| commitdiff \| tree
2008-07-02	Ferruccio Guidi	svn:ignore set on LambdaDelta-2	commit \| commitdiff \| tree
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
next

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

RSS Atom