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

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

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
2009-05-06	Ferruccio Guidi	- cicUtil: is_sober now detects folded applications	commit \| commitdiff \| tree
2009-05-05	Ferruccio Guidi	- Procedural: new flag "level=n" to control the reconstructi...	commit \| commitdiff \| tree
2009-05-05	Ferruccio Guidi	- hExtlib: new function "list_assoc_all"	commit \| commitdiff \| tree
2009-05-01	Ferruccio Guidi	- librarian: 3 bugs fixed in the building system:	commit \| commitdiff \| tree
2009-04-29	Ferruccio Guidi	- procedural: bugfix in "Barendregt convention" test	commit \| commitdiff \| tree
2009-04-28	Ferruccio Guidi	cicNotationUtil: in fresh_name_generator, "\eta" replaced...	commit \| commitdiff \| tree
2009-04-27	Ferruccio Guidi	matitacLib: bugfix in .moo generation	commit \| commitdiff \| tree
2009-04-25	Ferruccio Guidi	- matitacLib: lexicon status and grafite status where...	commit \| commitdiff \| tree
2009-04-25	Ferruccio Guidi	- matitacLib: better handling of the callbacks for...	commit \| commitdiff \| tree
2009-04-22	Ferruccio Guidi	- transcript: we have now two styles of mma's from...	commit \| commitdiff \| tree
2009-04-21	Ferruccio Guidi	- MatitaMisc: we factorized here the function out_preamble...	commit \| commitdiff \| tree
2009-04-16	Ferruccio Guidi	Procedural: we corrected two errors about the handling...	commit \| commitdiff \| tree
2009-04-15	Ferruccio Guidi	- transcript: bugfix	commit \| commitdiff \| tree
2009-04-14	Ferruccio Guidi	we rebuilt the dependences	commit \| commitdiff \| tree
2009-04-14	Ferruccio Guidi	- Procedural: generation of "exact" is now complete	commit \| commitdiff \| tree
2009-04-09	Ferruccio Guidi	- character: we adjusted some "autobatch" parameters	commit \| commitdiff \| tree
2009-04-06	Ferruccio Guidi	- external quantification removed (will be reintroduced...	commit \| commitdiff \| tree
2009-04-06	Ferruccio Guidi	limits: reorganized and attached to nightly tests ...	commit \| commitdiff \| tree
2009-04-05	Ferruccio Guidi	- Procedural: now we generate the exact tactic (in...	commit \| commitdiff \| tree
2009-03-11	Ferruccio Guidi	matitacLib: Gc.compact added after the compilation...	commit \| commitdiff \| tree
2009-03-11	Ferruccio Guidi	Procedural: id tactics are not counted, ie they are...	commit \| commitdiff \| tree
2009-03-11	Ferruccio Guidi	bug fix + better obj flavour guessing via inner sorts	commit \| commitdiff \| tree
2009-03-11	Ferruccio Guidi	the level 1 reconstruction procedure is now in Procedural1	commit \| commitdiff \| tree
2009-03-11	Ferruccio Guidi	....	commit \| commitdiff \| tree
2009-03-11	Ferruccio Guidi	new dependences	commit \| commitdiff \| tree
2009-03-10	Ferruccio Guidi	added some commented debugging instructions :)	commit \| commitdiff \| tree
2009-03-02	Ferruccio Guidi	cicInspect: node count fixed	commit \| commitdiff \| tree
2009-03-02	Ferruccio Guidi	uri renaming and new nodes count	commit \| commitdiff \| tree
2009-03-02	Ferruccio Guidi	some renaming to comply with new naming policy ...	commit \| commitdiff \| tree
2009-02-26	Ferruccio Guidi	cicInspect: now we can choose not to count the Cic...	commit \| commitdiff \| tree
2009-02-25	Ferruccio Guidi	ProceduralTeX completed and tested on the terms given...	commit \| commitdiff \| tree
2009-02-21	Ferruccio Guidi	New module for TeX rendering of procedural input/output	commit \| commitdiff \| tree
2009-02-17	Ferruccio Guidi	- Coq/preamble: missing alias added	commit \| commitdiff \| tree
next

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

RSS Atom