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

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

2010-08-07	Ferruccio Guidi	some inprovements on the generated html pages	commit \| commitdiff \| tree
2010-08-06	Ferruccio Guidi	ld.dtd: updated to comply with crg	commit \| commitdiff \| tree
2010-08-06	Ferruccio Guidi	we removed old HAL exportation (replaced by XML exportation)	commit \| commitdiff \| tree
2010-08-06	Ferruccio Guidi	we renamed the module abbreviations according to src...	commit \| commitdiff \| tree
2010-08-06	Ferruccio Guidi	the refactoring continues ...	commit \| commitdiff \| tree
2010-08-06	Ferruccio Guidi	new module "xml" devoted to xml I/O	commit \| commitdiff \| tree
2010-08-06	Ferruccio Guidi	the refactoring continues ....	commit \| commitdiff \| tree
2010-08-06	Ferruccio Guidi	now we take the NUri module from the helm-ng_kernel...	commit \| commitdiff \| tree
2010-08-06	Ferruccio Guidi	the refactoring continues	commit \| commitdiff \| tree
2010-08-06	Ferruccio Guidi	refactoring: helena sources are now in a dedicated...	commit \| commitdiff \| tree
2010-08-06	Ferruccio Guidi	txtLexer: bug fix in parsing the string tokens	commit \| commitdiff \| tree
2010-08-03	Ferruccio Guidi	- we simplified the parser return values	commit \| commitdiff \| tree
2010-07-20	Ferruccio Guidi	new icons for the lambda-delta web site	commit \| commitdiff \| tree
2010-04-21	Ferruccio Guidi	new dependences	commit \| commitdiff \| tree
2010-04-11	Ferruccio Guidi	the edges must be quoted as well (not only the nodes)	commit \| commitdiff \| tree
2010-03-17	Ferruccio Guidi	dr	commit \| commitdiff \| tree
2010-02-25	Ferruccio Guidi	-bugfix in the "profile" entry	commit \| commitdiff \| tree
2010-02-25	Ferruccio Guidi	- pipeline support for generated entities in text mode...	commit \| commitdiff \| tree
2010-02-24	Ferruccio Guidi	- a couple of new entities	commit \| commitdiff \| tree
2010-02-23	Ferruccio Guidi	- the text model now supports invocations of the entity...	commit \| commitdiff \| tree
2010-02-22	Ferruccio Guidi	- we completed the text parser fixing the syntactic...	commit \| commitdiff \| tree
2010-02-21	Ferruccio Guidi	- we added some syntactic sugar in the text parser	commit \| commitdiff \| tree
2010-02-20	Ferruccio Guidi	- we implemented the hierarchy and sort names declaration...	commit \| commitdiff \| tree
2010-02-19	Ferruccio Guidi	- we added a parser for lambda-delta textual syntax...	commit \| commitdiff \| tree
2010-01-05	Ferruccio Guidi	- we now add the kernel options in the preamble of...	commit \| commitdiff \| tree
2009-12-14	Ferruccio Guidi	the sort hierarchy parameter enter the kernel status	commit \| commitdiff \| tree
2009-11-12	Ferruccio Guidi	some interfaces improved	commit \| commitdiff \| tree
2009-11-05	Ferruccio Guidi	brg: change in the representation of binders	commit \| commitdiff \| tree
2009-11-03	Ferruccio Guidi	basic_rg: reduction was not tail recursive by mistake	commit \| commitdiff \| tree
2009-10-29	Ferruccio Guidi	- dual_rg: renamed to complete_rg [as suggested in...	commit \| commitdiff \| tree
2009-10-29	Ferruccio Guidi	refactoring ...	commit \| commitdiff \| tree
2009-10-29	Ferruccio Guidi	new xml exportation procedure for basic_rg (10 times...	commit \| commitdiff \| tree
2009-10-28	Ferruccio Guidi	- lambda-delta: some fixes: now the grundlagen type...	commit \| commitdiff \| tree
2009-10-28	Ferruccio Guidi	drg->brg translation contibued (still bugged though)	commit \| commitdiff \| tree
2009-10-08	Ferruccio Guidi	drgAut: we fixed the order of multi application arguments	commit \| commitdiff \| tree
2009-10-07	Ferruccio Guidi	we enabled the new style xml exportation, in particular...	commit \| commitdiff \| tree
2009-10-06	Ferruccio Guidi	drgOutput: bug fix	commit \| commitdiff \| tree
2009-10-06	Ferruccio Guidi	drg: we added the "positive projection" in environments	commit \| commitdiff \| tree
2009-10-05	Ferruccio Guidi	new toplevel: tentative implementation with more CPS	commit \| commitdiff \| tree
2009-10-05	Ferruccio Guidi	- common/entity: new format for kernel entities	commit \| commitdiff \| tree
2009-10-01	Ferruccio Guidi	better static html pages, now they are generted in...	commit \| commitdiff \| tree
2009-09-22	Ferruccio Guidi	we improved the stylesheets and we generated the static...	commit \| commitdiff \| tree
2009-09-21	Ferruccio Guidi	xml: bug fix	commit \| commitdiff \| tree
2009-09-21	Ferruccio Guidi	xml: first ld to xml stylesheets	commit \| commitdiff \| tree
2009-09-17	Ferruccio Guidi	we start version 0.8.1 by replacing the abstract layer...	commit \| commitdiff \| tree
2009-09-15	Ferruccio Guidi	some renaming. final commit for version 0.8.0	commit \| commitdiff \| tree
2009-09-10	Ferruccio Guidi	some interfaces improved	commit \| commitdiff \| tree
2009-09-08	Ferruccio Guidi	some renaming and some interfaces improved	commit \| commitdiff \| tree
2009-09-05	Ferruccio Guidi	basic_rg: more improvements to the error reporting...	commit \| commitdiff \| tree
2009-09-05	Ferruccio Guidi	basic_rg: we improved the error reporting interface	commit \| commitdiff \| tree
2009-09-04	Ferruccio Guidi	the TypeError exception is back in place inside the...	commit \| commitdiff \| tree
2009-09-01	Ferruccio Guidi	lint target improved	commit \| commitdiff \| tree
2009-09-01	Ferruccio Guidi	basic_rg: bugfix in AST to allow attributes in global...	commit \| commitdiff \| tree
2009-08-23	Ferruccio Guidi	- alpha convertibility test disabled for now (it needs...	commit \| commitdiff \| tree
2009-08-20	Ferruccio Guidi	- sort inclusion must be restricted to term backbone...	commit \| commitdiff \| tree
2009-08-17	Ferruccio Guidi	- alpha conversion check added to the brg kernel (succeeds...	commit \| commitdiff \| tree
2009-08-16	Ferruccio Guidi	- performance data added for reference	commit \| commitdiff \| tree
2009-08-16	Ferruccio Guidi	- proper KAM with closures implemented for the brg...	commit \| commitdiff \| tree
2009-08-15	Ferruccio Guidi	- kernel parameters indication added to exported objects...	commit \| commitdiff \| tree
2009-08-13	Ferruccio Guidi	- xml exportation activated for the brg kernel	commit \| commitdiff \| tree
2009-08-07	Ferruccio Guidi	basic_rg: improved interface, unwind removed from applicabil...	commit \| commitdiff \| tree
2009-07-10	Ferruccio Guidi	- brgOutput: the nodes count is now implemented	commit \| commitdiff \| tree
2009-07-03	Ferruccio Guidi	some corrections	commit \| commitdiff \| tree
2009-07-03	Ferruccio Guidi	more static analysis on the Automath text	commit \| commitdiff \| tree
2009-07-03	Ferruccio Guidi	we now do some static analysis on the Automath text...	commit \| commitdiff \| tree
2009-06-29	Ferruccio Guidi	lambda-delta:	commit \| commitdiff \| tree
2009-06-28	Ferruccio Guidi	new kernel basic_rg: implements ufficial lambda-delta...	commit \| commitdiff \| tree
2009-06-25	Ferruccio Guidi	- some depend files :)	commit \| commitdiff \| tree
2009-06-23	Ferruccio Guidi	- procedural: basic support for lapply (solves a problem...	commit \| commitdiff \| tree
2009-06-22	Ferruccio Guidi	- nodes count is now working for aut and meta	commit \| commitdiff \| tree
2009-06-21	Ferruccio Guidi	- cicNotationPp: bugfix in record syntax	commit \| commitdiff \| tree
2009-06-16	Ferruccio Guidi	we corrected some reduction bugs about renaming.	commit \| commitdiff \| tree
2009-06-15	Ferruccio Guidi	we removed some old code and fixed a reduction bug...	commit \| commitdiff \| tree
2009-06-13	Ferruccio Guidi	we removed some coercion detours and we added some...	commit \| commitdiff \| tree
2009-06-11	Ferruccio Guidi	- applyTransformation: bugfix in the rendering of records	commit \| commitdiff \| tree
2009-06-11	Ferruccio Guidi	- some depend files fixed	commit \| commitdiff \| tree
2009-06-10	Ferruccio Guidi	- library/list/list.ma: unused code commented	commit \| commitdiff \| tree
2009-06-09	Ferruccio Guidi	- Procedural: more support for the Debug inline option...	commit \| commitdiff \| tree
2009-06-05	Ferruccio Guidi	bugfix in Include syntax: it was changed and committed...	commit \| commitdiff \| tree
2009-06-05	Ferruccio Guidi	- Procedural convertible rewrites in the conclusion...	commit \| commitdiff \| tree
2009-06-04	Ferruccio Guidi	syntax error fixed :(	commit \| commitdiff \| tree
2009-06-04	Ferruccio Guidi	- doubleTypeInference: we check for unreferenced letins...	commit \| commitdiff \| tree
2009-06-03	Ferruccio Guidi	- boxPp: added missing spaces	commit \| commitdiff \| tree
2009-05-29	Ferruccio Guidi	- cicNotationParser: added extra space to TeX control...	commit \| commitdiff \| tree
2009-05-28	Ferruccio Guidi	Procedural: higher-order unification needs a lot of...	commit \| commitdiff \| tree
2009-05-28	Ferruccio Guidi	- cicInspect: relevant nodes count updated: letin nodes...	commit \| commitdiff \| tree
2009-05-27	Ferruccio Guidi	Procedural: bugfix in the generation of intros for...	commit \| commitdiff \| tree
2009-05-27	Ferruccio Guidi	- Procedural: we specify more unifiers for apply to...	commit \| commitdiff \| tree
2009-05-22	Ferruccio Guidi	bugfix in the output notation for eq	commit \| commitdiff \| tree
2009-05-21	Ferruccio Guidi	Procedural: we use the expected type rather than the...	commit \| commitdiff \| tree
2009-05-21	Ferruccio Guidi	- cicUtil: is_sober now detects non-positive rels.	commit \| commitdiff \| tree
2009-05-20	Ferruccio Guidi	we catch the refiner errors in the critical step and...	commit \| commitdiff \| tree
2009-05-14	Ferruccio Guidi	- hExtlib: added debugging information for split_nth	commit \| commitdiff \| tree
2009-05-14	Ferruccio Guidi	- libraryObjects: new default "natural numbers" with...	commit \| commitdiff \| tree
2009-05-13	Ferruccio Guidi	interpretations placed right after the corresponding...	commit \| commitdiff \| tree
2009-05-13	Ferruccio Guidi	- matitaEngine: some commands like "coercion" must...	commit \| commitdiff \| tree
2009-05-12	Ferruccio Guidi	- Procedural: we now reconstruct "let H := v in t"...	commit \| commitdiff \| tree
2009-05-07	Ferruccio Guidi	documentation for the inline command	commit \| commitdiff \| tree
2009-05-06	Ferruccio Guidi	- dependenciesParser: updated to new inline syntax	commit \| commitdiff \| tree
2009-05-06	Ferruccio Guidi	LAMBDA-TYPES: mma's recommitted because inline syntax...	commit \| commitdiff \| tree
next

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

RSS Atom