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

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

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
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
next

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

RSS Atom