| 2016-05-08 |
Ferruccio Guidi | some renaming and reordering of variables |
tree | commitdiff |
| 2016-05-06 |
Ferruccio Guidi | pre commit for matita version 0.99.3 |
tree | commitdiff |
| 2016-04-30 |
Ferruccio Guidi | - matex: support for alpha-conversion completed |
tree | commitdiff |
| 2016-04-27 |
Ferruccio Guidi | exportation of lambdadelta 1 with flavoured let recs |
tree | commitdiff |
| 2016-04-22 |
Ferruccio Guidi | - partial commit of rt_transition ... |
tree | commitdiff |
| 2016-04-18 |
Ferruccio Guidi | ground_2: generic rt-transition counter |
tree | commitdiff |
| 2016-04-18 |
Ferruccio Guidi | As required by M. Maietti, |
tree | commitdiff |
| 2016-04-16 |
Ferruccio Guidi | refactoring to park the notions: |
tree | commitdiff |
| 2016-04-16 |
Ferruccio Guidi | - former llpx_sn an lleq reactivated as lfxs and lfeq |
tree | commitdiff |
| 2016-04-12 |
Ferruccio Guidi | - first working commit of the static component .. |
tree | commitdiff |
| 2016-04-11 |
Ferruccio Guidi | - advances on drops |
tree | commitdiff |
| 2016-04-08 |
Ferruccio Guidi | - commit of the "s_computation" component ... |
tree | commitdiff |
| 2016-04-01 |
Ferruccio Guidi | - new component "s_transition" for the restored fqu... |
tree | commitdiff |
| 2016-03-31 |
Ferruccio Guidi | - uniform relocations |
tree | commitdiff |
| 2016-03-28 |
Ferruccio Guidi | minor correction on "source" production |
tree | commitdiff |
| 2016-03-28 |
Ferruccio Guidi | minor additions ... |
tree | commitdiff |
| 2016-03-27 |
Ferruccio Guidi | - minor corrections |
tree | commitdiff |
| 2016-03-25 |
Ferruccio Guidi | another file was missing :( |
tree | commitdiff |
| 2016-03-25 |
Ferruccio Guidi | - probe: now includes source character count (was:... |
tree | commitdiff |
| 2016-03-24 |
Ferruccio Guidi | support for printing the number of objects grouped... |
tree | commitdiff |
| 2016-03-23 |
Ferruccio Guidi | more files to commit .... :( |
tree | commitdiff |
| 2016-03-23 |
Ferruccio Guidi | - ng_kernel: we print the offending term when guarded_b... |
tree | commitdiff |
| 2016-03-21 |
Ferruccio Guidi | rtmaps with finite colength |
tree | commitdiff |
| 2016-03-18 |
Ferruccio Guidi | advances in the theory of drops, lexs, and frees ... |
tree | commitdiff |
| 2016-03-13 |
Ferruccio Guidi | - new syntax for let rec/corec with flavor specifier... |
tree | commitdiff |
| 2016-03-10 |
Ferruccio Guidi | - ground_2: some additions |
tree | commitdiff |
| 2016-03-10 |
Ferruccio Guidi | partial commit in the relocation component to move... |
tree | commitdiff |
| 2016-03-07 |
Ferruccio Guidi | more results on after ... |
tree | commitdiff |
| 2016-03-04 |
Ferruccio Guidi | small improvements and corrections ... |
tree | commitdiff |
| 2016-03-04 |
Ferruccio Guidi | commitcompleted: some files were missing :( |
tree | commitdiff |
| 2016-03-04 |
Ferruccio Guidi | rtmap (platform-indepent multple relocation): applicati... |
tree | commitdiff |
| 2016-03-02 |
Ferruccio Guidi | - second precommit for rtmap |
tree | commitdiff |
| 2016-02-23 |
Ferruccio Guidi | precommit for rtmap ... |
tree | commitdiff |
| 2016-02-21 |
Ferruccio Guidi | MaTeX |
tree | commitdiff |
| 2016-02-15 |
Ferruccio Guidi | now every object is output in a LaTeX environment,... |
tree | commitdiff |
| 2016-02-10 |
Ferruccio Guidi | first commit for lreq ... |
tree | commitdiff |
| 2016-02-10 |
Ferruccio Guidi | - ground_2: update ... |
tree | commitdiff |
| 2016-02-10 |
Ferruccio Guidi | pre commit for lexs ... |
tree | commitdiff |
| 2016-02-09 |
Ferruccio Guidi | general slicing reactivated ... |
tree | commitdiff |
| 2016-02-07 |
Ferruccio Guidi | - ground_2: support for relocation updated |
tree | commitdiff |
| 2016-02-04 |
Ferruccio Guidi | - ground_2: relocation with nstream is now based on... |
tree | commitdiff |
| 2016-02-02 |
Ferruccio Guidi | - scope management completed |
tree | commitdiff |
| 2016-02-02 |
Ferruccio Guidi | - scope management begins... |
tree | commitdiff |
| 2016-02-01 |
Ferruccio Guidi | improved style sheet |
tree | commitdiff |
| 2016-01-31 |
Ferruccio Guidi | renaming ... |
tree | commitdiff |
| 2016-01-30 |
Ferruccio Guidi | some renaming ... |
tree | commitdiff |
| 2016-01-29 |
Ferruccio Guidi | lift functions and identity map |
tree | commitdiff |
| 2016-01-26 |
Ferruccio Guidi | lexicon commands must tbe parsed before grafite command... |
tree | commitdiff |
| 2016-01-20 |
Ferruccio Guidi | nstream: composition completed :) |
tree | commitdiff |
| 2016-01-14 |
Ferruccio Guidi | ground_2: web page update |
tree | commitdiff |
| 2016-01-13 |
Ferruccio Guidi | missing notation file |
tree | commitdiff |
| 2016-01-13 |
Ferruccio Guidi | - ng_kernel: catched Invalid_argument "List.nth" in... |
tree | commitdiff |
| 2016-01-11 |
Ferruccio Guidi | - plain anticipation for CIC proofs terms |
tree | commitdiff |
| 2016-01-04 |
Ferruccio Guidi | - Const is now processed properly |
tree | commitdiff |
| 2015-12-21 |
Ferruccio Guidi | - First commit of MaTeX: |
tree | commitdiff |
| 2015-10-29 |
Ferruccio Guidi | - matita: computed auto traces now include the "width... |
tree | commitdiff |
| 2015-10-25 |
Ferruccio Guidi | theory of relocation updated ..... |
tree | commitdiff |
| 2015-10-25 |
Ferruccio Guidi | theory of generic slicing almost completed .... |
tree | commitdiff |
| 2015-10-21 |
Ferruccio Guidi | parked material ... |
tree | commitdiff |
| 2015-10-21 |
Ferruccio Guidi | new results on multiple relocation |
tree | commitdiff |
| 2015-10-21 |
Ferruccio Guidi | theory of multiple relocation completed |
tree | commitdiff |
| 2015-10-21 |
Ferruccio Guidi | minor update |
tree | commitdiff |
| 2015-10-14 |
Ferruccio Guidi | colength and identity relocation |
tree | commitdiff |
| 2015-10-11 |
Ferruccio Guidi | ground_2: added missing file |
tree | commitdiff |
| 2015-10-11 |
Ferruccio Guidi | ground_2 milestone: multiple relocation with lists... |
tree | commitdiff |
| 2015-09-24 |
Ferruccio Guidi | first constructions with classes |
tree | commitdiff |
| 2015-09-23 |
Ferruccio Guidi | optional parameters added to the syntax of definitions, |
tree | commitdiff |
| 2015-09-20 |
Ferruccio Guidi | limits: we set up a different foundation |
tree | commitdiff |
| 2015-09-20 |
Ferruccio Guidi | old files (re)moved |
tree | commitdiff |
| 2015-09-08 |
Ferruccio Guidi | refactoring meta files for procedural reconstruction... |
tree | commitdiff |
| 2015-09-07 |
Ferruccio Guidi | - simplified Makefile.defs using the ?= assignment |
tree | commitdiff |
| 2015-09-06 |
Ferruccio Guidi | - the `Implied attribute is now printed |
tree | commitdiff |
| 2015-09-06 |
Ferruccio Guidi | flavour and source information exported for the objects... |
tree | commitdiff |
| 2015-09-05 |
Ferruccio Guidi | last comment was incomplete by mistake. |
tree | commitdiff |
| 2015-09-05 |
Ferruccio Guidi | - New attribute `Implied put beside `Generated and... |
tree | commitdiff |
| 2015-07-14 |
Ferruccio Guidi | - subtraction (and related notions) removed |
tree | commitdiff |
| 2015-03-25 |
Ferruccio Guidi | - revision of ground_2 and basic_2 |
tree | commitdiff |
| 2015-03-07 |
Ferruccio Guidi | performance data for basic_1 on dev.helm |
tree | commitdiff |
| 2015-03-06 |
Ferruccio Guidi | with matita 0.99.2 we can validate lambdadelta_1 (as... |
tree | commitdiff |
| 2015-03-06 |
Ferruccio Guidi | legacy_1, ground_1, and basic_1 recommitted without... |
tree | commitdiff |
| 2015-03-05 |
Ferruccio Guidi | basic_1: COMMIT COMPLETED |
tree | commitdiff |
| 2015-03-05 |
Ferruccio Guidi | components: pc1, pc3, ty3, csubt, ex1 |
tree | commitdiff |
| 2015-03-05 |
Ferruccio Guidi | components: sc3, csubc |
tree | commitdiff |
| 2015-03-04 |
Ferruccio Guidi | components: nf2, sn3, ex2 |
tree | commitdiff |
| 2015-03-04 |
Ferruccio Guidi | components: arity, csuba |
tree | commitdiff |
| 2015-02-25 |
Ferruccio Guidi | component: pr3 |
tree | commitdiff |
| 2015-02-24 |
Ferruccio Guidi | components: wcpr0 pr1 pr2 |
tree | commitdiff |
| 2015-02-23 |
Ferruccio Guidi | component: pr0 |
tree | commitdiff |
| 2015-02-22 |
Ferruccio Guidi | components: A asucc aplus leq llt aprem ex0 |
tree | commitdiff |
| 2015-02-19 |
Ferruccio Guidi | components: G, next_plus, sty0, sty1 |
tree | commitdiff |
| 2015-02-11 |
Ferruccio Guidi | components: subst1 csubst0 csubst1 fsubst0 |
tree | commitdiff |
| 2015-02-11 |
Ferruccio Guidi | components: subst csubv |
tree | commitdiff |
| 2015-02-10 |
Ferruccio Guidi | components: subst0 |
tree | commitdiff |
| 2015-02-09 |
Ferruccio Guidi | components: clen lift1 drop1 |
tree | commitdiff |
| 2015-02-08 |
Ferruccio Guidi | components: clear getl cimp |
tree | commitdiff |
| 2015-02-08 |
Ferruccio Guidi | components cnt drop |
tree | commitdiff |
| 2015-02-06 |
Ferruccio Guidi | some improvements in the anticipator |
tree | commitdiff |
| 2015-02-05 |
Ferruccio Guidi | depend update |
tree | commitdiff |
| 2015-02-04 |
Ferruccio Guidi | components C r flt app lift |
tree | commitdiff |
| 2015-02-04 |
Ferruccio Guidi | - matitac: now directories are allowed as command line... |
tree | commitdiff |
| next |
projects / helm.git / history