2021-11-30 |
Ferruccio Guidi | Merge branch 'master' of ssh://matita.cs.unibo.it:... |
tree | commitdiff |
2021-10-29 |
Ferruccio Guidi | update in ground static_2 basic_2 apps_2 |
tree | commitdiff |
2020-09-25 |
Ferruccio Guidi | milestone update in basic_2 |
tree | commitdiff |
2020-07-18 |
Ferruccio Guidi | update in static_2 |
tree | commitdiff |
2020-04-18 |
Ferruccio Guidi | milestone update in basic_2, update in ground and static_2 |
tree | commitdiff |
2020-02-27 |
Ferruccio Guidi | ground_2 released and permanently renamed as ground |
tree | commitdiff |
2020-01-15 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2020-01-14 |
Ferruccio Guidi | update in basic_2 and apps_2 |
tree | commitdiff |
2020-01-10 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
tree | commitdiff |
2020-01-08 |
Ferruccio Guidi | update in ground_2, static_2, basic_2, apps_2, alpha_1 |
tree | commitdiff |
2020-01-06 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
tree | commitdiff |
2019-11-19 |
Ferruccio Guidi | λδ-2B is released |
tree | commitdiff |
2019-11-18 |
Ferruccio Guidi | update for the article |
tree | commitdiff |
2019-10-28 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2019-10-25 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2019-10-21 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2019-10-18 |
Ferruccio Guidi | Merge remote-tracking branch 'origin/ld-0.99.3' |
tree | commitdiff |
2019-10-17 |
Ferruccio Guidi | update in basuc_2 ld-0.99.3 |
tree | commitdiff |
2019-10-14 |
Ferruccio Guidi | WIP on cpce ... |
tree | commitdiff |
2019-10-14 |
Ferruccio Guidi | some added lemmas removed from auto |
tree | commitdiff |
2019-10-14 |
Ferruccio Guidi | backport of WIP on \lambda\delta to matita 0.99.3 |
tree | commitdiff |
2019-10-01 |
Ferruccio Guidi | Merge remote-tracking branch 'origin/matita-lablgtk3' |
tree | commitdiff |
2019-09-29 |
Ferruccio Guidi | Merge branch 'matita-lablgtk3' of ssh://matita.cs.unibo... |
tree | commitdiff |
2019-09-29 |
Ferruccio Guidi | update in static_2 |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | Merge branch 'declarative' into matita-lablgtk3 |
tree | commitdiff |
2019-09-23 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2019-09-18 |
Ferruccio Guidi | update in static_2 |
tree | commitdiff |
2019-09-18 |
Ferruccio Guidi | update in static_2 and basic_2 |
tree | commitdiff |
2019-09-03 |
Ferruccio Guidi | milestone in basic_2 |
tree | commitdiff |
2019-08-31 |
Ferruccio Guidi | update in static_2 and basic_2 |
tree | commitdiff |
2019-08-23 |
Ferruccio Guidi | update in ground_2 static_2 basic_2 |
tree | commitdiff |
2019-08-19 |
Ferruccio Guidi | still more additions and corrections for the article |
tree | commitdiff |
2019-07-26 |
Ferruccio Guidi | still more additions and corrections for the article |
tree | commitdiff |
2019-07-20 |
Ferruccio Guidi | more additions and corrections for the article |
tree | commitdiff |
2019-06-15 |
Ferruccio Guidi | updating the structures for sorts |
tree | commitdiff |
2019-06-15 |
Ferruccio Guidi | some restyling ... |
tree | commitdiff |
2019-06-02 |
Ferruccio Guidi | milestone in basic_2 |
tree | commitdiff |
2019-05-29 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2019-04-17 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2019-04-16 |
Ferruccio Guidi | milestone in basic_2 with additions in static_2 |
tree | commitdiff |
2019-04-08 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2019-04-05 |
Ferruccio Guidi | update in ground_2 static_2 basic_2 |
tree | commitdiff |
2019-03-25 |
Ferruccio Guidi | milestone in basic_2 |
tree | commitdiff |
2018-11-08 |
Ferruccio Guidi | update in basic_2 and in web site |
tree | commitdiff |
2018-11-06 |
Ferruccio Guidi | update in bsasic_2 |
tree | commitdiff |
2018-11-02 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-11-01 |
Ferruccio Guidi | milestone uupdate in basic_2 |
tree | commitdiff |
2018-10-27 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-10-15 |
Ferruccio Guidi | auxiliary update in basic_2 |
tree | commitdiff |
2018-10-01 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-09-29 |
Ferruccio Guidi | update in basic_2 and apps_2 |
tree | commitdiff |
2018-09-27 |
Ferruccio Guidi | update in basic_2 and static_2 |
tree | commitdiff |
2018-09-21 |
Ferruccio Guidi | milestone in basic_2, λδ-2A reconstructed |
tree | commitdiff |
2018-09-19 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
tree | commitdiff |
2018-09-18 |
Ferruccio Guidi | update in static_2 and basic_2 |
tree | commitdiff |
2018-09-12 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
tree | commitdiff |
2018-09-08 |
Ferruccio Guidi | update in static_2 and basic_2 |
tree | commitdiff |
2018-09-01 |
Ferruccio Guidi | update in basic_2 and ground_2 |
tree | commitdiff |
2018-08-18 |
Ferruccio Guidi | severe bug found in parallel zeta |
tree | commitdiff |
2018-08-07 |
Ferruccio Guidi | commit in ground_2, static_2, basic_2, apps_2 |
tree | commitdiff |
2018-08-01 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
2018-07-28 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
2018-07-27 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-07-26 |
Ferruccio Guidi | update in basic_2 and ground_2 |
tree | commitdiff |
2018-07-02 |
Ferruccio Guidi | syntactic components detached from basic_2 become static_2 |
tree | commitdiff |
2018-06-12 |
Ferruccio Guidi | renaming in basic_2 |
tree | commitdiff |
2018-06-11 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-05-14 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-05-11 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-04-16 |
Ferruccio Guidi | update in basic_2 and ground_2 |
tree | commitdiff |
2017-11-14 |
Ferruccio Guidi | - notation change for tdeq and related notions |
tree | commitdiff |
2016-05-08 |
Ferruccio Guidi | some renaming and reordering of variables |
tree | commitdiff |
2016-04-22 |
Ferruccio Guidi | - partial commit of rt_transition ... |
tree | commitdiff |
2015-03-25 |
Ferruccio Guidi | - revision of ground_2 and basic_2 |
tree | commitdiff |
2014-10-26 |
Ferruccio Guidi | - some renaming according to the written version of... |
tree | commitdiff |
2014-10-19 |
Ferruccio Guidi | - grafiteParser: we added the comand "defined" as a... |
tree | commitdiff |
2014-10-08 |
Ferruccio Guidi | - some consequences of preservation added |
tree | commitdiff |
2014-10-05 |
Ferruccio Guidi | catched typecheker failures in auto allow more applicat... |
tree | commitdiff |
2014-10-02 |
Ferruccio Guidi | - fpbg can be reflexive (example given) |
tree | commitdiff |
2014-09-15 |
Ferruccio Guidi | notational change of lift, drop, and gget |
tree | commitdiff |
2014-09-10 |
Ferruccio Guidi | commit completed! the new iterated static type assignme... |
tree | commitdiff |
2014-08-06 |
Ferruccio Guidi | - some renaming and minor updates |
tree | commitdiff |
2014-08-05 |
Ferruccio Guidi | - basic_2: reaxiomatized snv with improved cpds and... |
tree | commitdiff |
2014-07-18 |
Ferruccio Guidi | - irreflexivity of static type assignment iterated... |
tree | commitdiff |
2014-07-14 |
Ferruccio Guidi | some renaming and some typos corrected ... |
tree | commitdiff |
2014-06-28 |
Ferruccio Guidi | - ldrop is now drop as in basic_1 |
tree | commitdiff |
2014-06-15 |
Ferruccio Guidi | - we introduce stratified term equivalence to remove... |
tree | commitdiff |
2014-06-14 |
Ferruccio Guidi | reorganization of the "static" component: |
tree | commitdiff |
2014-06-10 |
Ferruccio Guidi | preservation of stratified vaildity through ordinary... |
tree | commitdiff |
2014-04-25 |
Ferruccio Guidi | - advances in the theory of cofrees |
tree | commitdiff |
2014-04-18 |
Ferruccio Guidi | - the relation for pointwise extensions now takes a... |
tree | commitdiff |
2014-04-15 |
Ferruccio Guidi | - lazy extended reduction parked |
tree | commitdiff |
2014-04-05 |
Ferruccio Guidi | commit completed: |
tree | commitdiff |
2014-01-20 |
Ferruccio Guidi | commit completed: now we support two versions of slicin... |
tree | commitdiff |
2014-01-17 |
Ferruccio Guidi | - commit of the "substitution" component |
tree | commitdiff |
2014-01-05 |
Ferruccio Guidi | - new definition of lazy equivalence for local environm... |
tree | commitdiff |
2013-12-14 |
Ferruccio Guidi | - "big tree" theorem is now proved up to some conjectur... |
tree | commitdiff |
2013-10-25 |
Ferruccio Guidi | - bug fix in the induction for the closure property |
tree | commitdiff |
2013-10-12 |
Ferruccio Guidi | some renaming ... |
tree | commitdiff |
2013-10-06 |
Ferruccio Guidi | - big-tree reduction is now based on extended reduction |
tree | commitdiff |
next |