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

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

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
2009-01-23	Ferruccio Guidi	OEIS sequence identifier found for P(n)	commit \| commitdiff \| tree
2008-12-20	Ferruccio Guidi	we started the support for naive sort inclusion	commit \| commitdiff \| tree
2008-12-18	Ferruccio Guidi	- improved logging	commit \| commitdiff \| tree
2008-12-17	Ferruccio Guidi	we started the support for the coercions "alle" and...	commit \| commitdiff \| tree
2008-12-16	Ferruccio Guidi	we added the implicit coercion for modus tollens	commit \| commitdiff \| tree
2008-12-14	Ferruccio Guidi	- improved logging	commit \| commitdiff \| tree
2008-12-14	Ferruccio Guidi	new kernel basic_ag (with absolute local references)	commit \| commitdiff \| tree
2008-12-14	Ferruccio Guidi	we are changing the kernel version from basic_rg to...	commit \| commitdiff \| tree
2008-12-14	Ferruccio Guidi	autItem : the uris of the objects involved in the implicit...	commit \| commitdiff \| tree
2008-12-12	Ferruccio Guidi	improved type hierarchy management	commit \| commitdiff \| tree
2008-12-12	Ferruccio Guidi	- basic_rg: architectural bug fix	commit \| commitdiff \| tree
2008-12-10	Ferruccio Guidi	- new semantic log system	commit \| commitdiff \| tree
2008-12-09	Ferruccio Guidi	first version of kernel "basic_rg"	commit \| commitdiff \| tree
2008-12-06	Ferruccio Guidi	metaAut: now we use hash tables properly (processing...	commit \| commitdiff \| tree
2008-12-03	Ferruccio Guidi	improved interface for brgEnvironment	commit \| commitdiff \| tree
2008-12-03	Ferruccio Guidi	log facility, initial environment for basic_rg	commit \| commitdiff \| tree
2008-12-02	Ferruccio Guidi	- we updated some preambles to match that of nUri.ml	commit \| commitdiff \| tree
2008-12-01	Ferruccio Guidi	we start a kernel for the version "basic with reverse...	commit \| commitdiff \| tree
2008-11-30	Ferruccio Guidi	lambda-delta/toplevel: improved transformation from...	commit \| commitdiff \| tree
2008-11-28	Ferruccio Guidi	cicDischarge: final fixup. Now correctly processes...	commit \| commitdiff \| tree
2008-11-28	Ferruccio Guidi	ng_disambiguation ng_kernel ng_refiner disambiguation...	commit \| commitdiff \| tree
2008-11-25	Ferruccio Guidi	cicUtil: we moved here pp_term from proceduralHelpers	commit \| commitdiff \| tree
next

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

RSS Atom