| 2015-03-05 |
Ferruccio Guidi | components: sc3, csubc
|
commit | commitdiff | tree |
| 2015-03-04 |
Ferruccio Guidi | components: nf2, sn3, ex2
|
commit | commitdiff | tree |
| 2015-03-04 |
Ferruccio Guidi | components: arity, csuba
|
commit | commitdiff | tree |
| 2015-02-25 |
Ferruccio Guidi | component: pr3
|
commit | commitdiff | tree |
| 2015-02-24 |
Ferruccio Guidi | components: wcpr0 pr1 pr2
|
commit | commitdiff | tree |
| 2015-02-23 |
Ferruccio Guidi | component: pr0
|
commit | commitdiff | tree |
| 2015-02-22 |
Ferruccio Guidi | components: A asucc aplus leq llt aprem ex0
|
commit | commitdiff | tree |
| 2015-02-21 |
Ferruccio Guidi | - update for helena 0.8.2 and related files
|
commit | commitdiff | tree |
| 2015-02-21 |
Ferruccio Guidi | additional commit for version 0.8.2
|
commit | commitdiff | tree |
| 2015-02-19 |
Ferruccio Guidi | components: G, next_plus, sty0, sty1
|
commit | commitdiff | tree |
| 2015-02-18 |
Ferruccio Guidi | first article on lambdadelta version 3
|
commit | commitdiff | tree |
| 2015-02-11 |
Ferruccio Guidi | components: subst1 csubst0 csubst1 fsubst0
|
commit | commitdiff | tree |
| 2015-02-11 |
Ferruccio Guidi | components: subst csubv
|
commit | commitdiff | tree |
| 2015-02-10 |
Ferruccio Guidi | components: subst0
|
commit | commitdiff | tree |
| 2015-02-09 |
Ferruccio Guidi | components: clen lift1 drop1
|
commit | commitdiff | tree |
| 2015-02-08 |
Ferruccio Guidi | components: clear getl cimp
|
commit | commitdiff | tree |
| 2015-02-08 |
Ferruccio Guidi | components cnt drop
|
commit | commitdiff | tree |
| 2015-02-06 |
Ferruccio Guidi | some improvements in the anticipator
|
commit | commitdiff | tree |
| 2015-02-05 |
Ferruccio Guidi | depend update
|
commit | commitdiff | tree |
| 2015-02-04 |
Ferruccio Guidi | components C r flt app lift
|
commit | commitdiff | tree |
| 2015-02-04 |
Ferruccio Guidi | - matitac: now directories are allowed as command line...
|
commit | commitdiff | tree |
| 2015-02-04 |
Ferruccio Guidi | - some improvements in the generation of terms
|
commit | commitdiff | tree |
| 2015-02-03 |
Ferruccio Guidi | - we generate the terms in anticipated form (the are...
|
commit | commitdiff | tree |
| 2015-01-30 |
Ferruccio Guidi | porting of basic_1 for the ng_kernel: first step ...
|
commit | commitdiff | tree |
| 2015-01-30 |
Ferruccio Guidi | notation ast updated to comply with the toplevel let...
|
commit | commitdiff | tree |
| 2015-01-22 |
Ferruccio Guidi | refactoring of \lambda\delta version 1 in matita
|
commit | commitdiff | tree |
| 2015-01-22 |
Ferruccio Guidi | dependences update
|
commit | commitdiff | tree |
| 2015-01-22 |
Ferruccio Guidi | dependences update
|
commit | commitdiff | tree |
| 2015-01-22 |
Ferruccio Guidi | informational page on ground_1
|
commit | commitdiff | tree |
| 2015-01-20 |
Ferruccio Guidi | basic_1: we separate theorems and lemmas as in basic_2
|
commit | commitdiff | tree |
| 2015-01-19 |
Ferruccio Guidi | update in web page for basic_1
|
commit | commitdiff | tree |
| 2015-01-18 |
Ferruccio Guidi | - we add an informational page on \lambda\delta version...
|
commit | commitdiff | tree |
| 2015-01-16 |
Ferruccio Guidi | lambdadelta_1: bugfix
|
commit | commitdiff | tree |
| 2015-01-16 |
Ferruccio Guidi | infrastructure to browse lambdadelta_1 remotely
|
commit | commitdiff | tree |
| 2015-01-15 |
Ferruccio Guidi | lambdadelta_1 updated with new part names
|
commit | commitdiff | tree |
| 2015-01-11 |
Ferruccio Guidi | we restored the scripts of \lambda\delta version 1
|
commit | commitdiff | tree |
| 2015-01-04 |
Ferruccio Guidi | - xhtbl: minor improvement
|
commit | commitdiff | tree |
| 2014-12-31 |
Ferruccio Guidi | last commit for helena 0.8.2
|
commit | commitdiff | tree |
| 2014-12-26 |
Ferruccio Guidi | the corrected "Grundlagen" is online
|
commit | commitdiff | tree |
| 2014-12-25 |
Ferruccio Guidi | lddl update with the disambiguated "grundlagen"
|
commit | commitdiff | tree |
| 2014-12-24 |
Ferruccio Guidi | - bugfix is refreshed state of AutCrg: now we return...
|
commit | commitdiff | tree |
| 2014-12-23 |
Ferruccio Guidi | - bug fix in the RTM
|
commit | commitdiff | tree |
| 2014-12-16 |
Ferruccio Guidi | - we add the missing layer constraint on applicability...
|
commit | commitdiff | tree |
| 2014-12-15 |
Ferruccio Guidi | now type inclusion is correctly managed in the RTM
|
commit | commitdiff | tree |
| 2014-12-14 |
Ferruccio Guidi | - we are moving from old (patched) management of sort...
|
commit | commitdiff | tree |
| 2014-12-14 |
Ferruccio Guidi | - we removed a flag from the kernel status
|
commit | commitdiff | tree |
| 2014-12-06 |
Ferruccio Guidi | - helena: the improved attribute system allows to export...
|
commit | commitdiff | tree |
| 2014-12-01 |
Ferruccio Guidi | dependences update
|
commit | commitdiff | tree |
| 2014-11-30 |
Ferruccio Guidi | level disambiguation cmpleted! the Grafite file is...
|
commit | commitdiff | tree |
| 2014-11-28 |
Ferruccio Guidi | - bug fix in the static disambiguation of unified binders
|
commit | commitdiff | tree |
| 2014-11-28 |
Ferruccio Guidi | - the disambiguation of unified binders continues
|
commit | commitdiff | tree |
| 2014-11-25 |
Ferruccio Guidi | - ld.dtd updated
|
commit | commitdiff | tree |
| 2014-11-24 |
Ferruccio Guidi | - static disambiguation of Automath unified binders
|
commit | commitdiff | tree |
| 2014-11-23 |
Ferruccio Guidi | - new attributes system
|
commit | commitdiff | tree |
| 2014-11-20 |
Ferruccio Guidi | new intermediate language complete_rg,
|
commit | commitdiff | tree |
| 2014-11-12 |
Ferruccio Guidi | new message reporting system improves performance significat...
|
commit | commitdiff | tree |
| 2014-11-11 |
Ferruccio Guidi | - commit completed :)
|
commit | commitdiff | tree |
| 2014-11-10 |
Ferruccio Guidi | the commit contnues by updating the RTM and modifying...
|
commit | commitdiff | tree |
| 2014-11-10 |
Ferruccio Guidi | the commit continues
|
commit | commitdiff | tree |
| 2014-11-10 |
Ferruccio Guidi | the commit continues with some refactoring ...
|
commit | commitdiff | tree |
| 2014-11-10 |
Ferruccio Guidi | the commit continues with the support for validation...
|
commit | commitdiff | tree |
| 2014-11-10 |
Ferruccio Guidi | the partial commit continues
|
commit | commitdiff | tree |
| 2014-11-10 |
Ferruccio Guidi | we begin the commit of the validation procedure
|
commit | commitdiff | tree |
| 2014-11-04 |
Ferruccio Guidi | Web site update
|
commit | commitdiff | tree |
| 2014-11-01 |
Ferruccio Guidi | web site updated with document J2
|
commit | commitdiff | tree |
| 2014-10-28 |
Ferruccio Guidi | \lambda\delta version 2A released on Web site
|
commit | commitdiff | tree |
| 2014-10-28 |
Ferruccio Guidi | - milestone update in basic_2 (basic_2a released)
|
commit | commitdiff | tree |
| 2014-10-27 |
Ferruccio Guidi | - the trace is explicit in all auto tactics with depth > 1
|
commit | commitdiff | tree |
| 2014-10-26 |
Ferruccio Guidi | - some renaming according to the written version of...
|
commit | commitdiff | tree |
| 2014-10-22 |
Ferruccio Guidi | minor web site update
|
commit | commitdiff | tree |
| 2014-10-20 |
Ferruccio Guidi | - update in basic_2
|
commit | commitdiff | tree |
| 2014-10-19 |
Ferruccio Guidi | - grafiteParser: we added the comand "defined" as a...
|
commit | commitdiff | tree |
| 2014-10-15 |
Ferruccio Guidi | more automation for cpcs ...
|
commit | commitdiff | tree |
| 2014-10-15 |
Ferruccio Guidi | minor update in basic 2 and in the web site
|
commit | commitdiff | tree |
| 2014-10-13 |
Ferruccio Guidi | update in basic_2 ...
|
commit | commitdiff | tree |
| 2014-10-13 |
Ferruccio Guidi | - lambdadelta: minor corrections
|
commit | commitdiff | tree |
| 2014-10-09 |
Ferruccio Guidi | we commit the web site again since last commit had...
|
commit | commitdiff | tree |
| 2014-10-09 |
Ferruccio Guidi | old pabes removed
|
commit | commitdiff | tree |
| 2014-10-09 |
Ferruccio Guidi | - update in basic_2
|
commit | commitdiff | tree |
| 2014-10-08 |
Ferruccio Guidi | - some consequences of preservation added
|
commit | commitdiff | tree |
| 2014-10-05 |
Ferruccio Guidi | catched typecheker failures in auto allow more applications...
|
commit | commitdiff | tree |
| 2014-10-05 |
Ferruccio Guidi | contrib update ...
|
commit | commitdiff | tree |
| 2014-10-04 |
Ferruccio Guidi | the commit was incomplete (as is often the case :( )
|
commit | commitdiff | tree |
| 2014-10-04 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2014-10-04 |
Ferruccio Guidi | - nnAuto: we catch TypeCheckerFailure generated at...
|
commit | commitdiff | tree |
| 2014-10-02 |
Ferruccio Guidi | now the update is complete
|
commit | commitdiff | tree |
| 2014-10-02 |
Ferruccio Guidi | previous commit was not complete :(
|
commit | commitdiff | tree |
| 2014-10-02 |
Ferruccio Guidi | update in basic_2 ...
|
commit | commitdiff | tree |
| 2014-10-02 |
Ferruccio Guidi | - fpbg can be reflexive (example given)
|
commit | commitdiff | tree |
| 2014-09-30 |
Ferruccio Guidi | minor update in basic_2 ...
|
commit | commitdiff | tree |
| 2014-09-30 |
Ferruccio Guidi | notation update for pointwise union
|
commit | commitdiff | tree |
| 2014-09-15 |
Ferruccio Guidi | minor update in basic_2 ...
|
commit | commitdiff | tree |
| 2014-09-15 |
Ferruccio Guidi | notational change of lift, drop, and gget
|
commit | commitdiff | tree |
| 2014-09-14 |
Ferruccio Guidi | update in basic_2 ...
|
commit | commitdiff | tree |
| 2014-09-14 |
Ferruccio Guidi | slight refactoring in the proof of strong normalization
|
commit | commitdiff | tree |
| 2014-09-12 |
Ferruccio Guidi | update in basic_2 ...
|
commit | commitdiff | tree |
| 2014-09-12 |
Ferruccio Guidi | one more typo ...
|
commit | commitdiff | tree |
| 2014-09-12 |
Ferruccio Guidi | bug fix in ththe notation for lists:
|
commit | commitdiff | tree |
| 2014-09-10 |
Ferruccio Guidi | added an example on lstas showing a difference with...
|
commit | commitdiff | tree |
| 2014-09-10 |
Ferruccio Guidi | - contrib update for version 2
|
commit | commitdiff | tree |
| next |
projects / helm.git / search