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

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

2008-11-11	Ferruccio Guidi	- we now use a streaming architecture (run time gain...	commit \| commitdiff \| tree
2008-10-22	Ferruccio Guidi	we aligned the implementation to the plmms08 paper	commit \| commitdiff \| tree
2008-10-18	Ferruccio Guidi	Acic2Procedural:	commit \| commitdiff \| tree
2008-09-30	Ferruccio Guidi	librarian.ml: now the read_only .moo's are managed...	commit \| commitdiff \| tree
2008-09-26	Ferruccio Guidi	Procedural: we removed some commented code	commit \| commitdiff \| tree
2008-09-22	Ferruccio Guidi	new small devel	commit \| commitdiff \| tree
2008-09-21	Ferruccio Guidi	we commented some of the debug pps rather than removing...	commit \| commitdiff \| tree
2008-09-18	Ferruccio Guidi	applyTransformation: improved error detection	commit \| commitdiff \| tree
2008-09-18	Ferruccio Guidi	librarian: improved error detection, bug fix in time...	commit \| commitdiff \| tree
2008-09-12	Ferruccio Guidi	old bug in mtime computation fixed	commit \| commitdiff \| tree
2008-09-10	Ferruccio Guidi	we skip discharging on matita opbjects (they don't...	commit \| commitdiff \| tree
2008-09-10	Ferruccio Guidi	cicDischarge, Procedural: we improved debugging and...	commit \| commitdiff \| tree
2008-09-07	Ferruccio Guidi	cicDischarge: we still have some problems here. Some...	commit \| commitdiff \| tree
2008-09-06	Ferruccio Guidi	we always save the discharged object for future reference	commit \| commitdiff \| tree
2008-09-05	Ferruccio Guidi	we have to remove the Num directory :)	commit \| commitdiff \| tree
2008-09-05	Ferruccio Guidi	transcript: we now check for non-existing objects	commit \| commitdiff \| tree
2008-09-04	Ferruccio Guidi	transcript: improved debuugging facilities	commit \| commitdiff \| tree
2008-09-04	Ferruccio Guidi	we forgot to delete the old CoRN mma files :)	commit \| commitdiff \| tree
2008-09-04	Ferruccio Guidi	transcript: we improved the parser/lexer to read the...	commit \| commitdiff \| tree
2008-08-28	Ferruccio Guidi	new baseuri for procedural CoRN	commit \| commitdiff \| tree
2008-08-28	Ferruccio Guidi	applyTransformation: variable discharging in procedural...	commit \| commitdiff \| tree
2008-08-28	Ferruccio Guidi	cicDischarge: new module for discharging the explicit...	commit \| commitdiff \| tree
2008-08-25	Ferruccio Guidi	bug fix in inline syntax	commit \| commitdiff \| tree
2008-08-25	Ferruccio Guidi	transcript: bug fix in the generation of axioms	commit \| commitdiff \| tree
2008-08-23	Ferruccio Guidi	Procedural: bug fix in comment generation	commit \| commitdiff \| tree
2008-08-23	Ferruccio Guidi	Procedural: explicit flavour specification for constants...	commit \| commitdiff \| tree
2008-08-21	Ferruccio Guidi	svn:ignore property is now swr correctly`	commit \| commitdiff \| tree
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
next

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

RSS Atom