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

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

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
2008-11-22	Ferruccio Guidi	symbolic links to use the uri manager from ng_kernel	commit \| commitdiff \| tree
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
next

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

RSS Atom