2021-01-08 |
Ferruccio Guidi | arithmetics for λδ |
tree | commitdiff |
2021-01-04 |
Ferruccio Guidi | arithmetics for λδ |
tree | commitdiff |
2021-01-01 |
Ferruccio Guidi | arithmetics for λδ |
tree | commitdiff |
2020-12-28 |
Ferruccio Guidi | arithmetics for λδ |
tree | commitdiff |
2020-12-22 |
Ferruccio Guidi | arithmetics for λδ |
tree | commitdiff |
2020-12-19 |
Ferruccio Guidi | arithmetics for λδ |
tree | commitdiff |
2020-12-09 |
Ferruccio Guidi | λδ site update |
tree | commitdiff |
2020-12-08 |
Ferruccio Guidi | λδ-2B and λδ-ground repackaged for publication |
tree | commitdiff |
2020-12-07 |
Ferruccio Guidi | λδ site update |
tree | commitdiff |
2020-10-15 |
Ferruccio Guidi | update in static_2 |
tree | commitdiff |
2020-09-27 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2020-09-25 |
Ferruccio Guidi | minor additions to standard library |
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-30 |
Ferruccio Guidi | decentralized notation in lambda |
tree | commitdiff |
2020-04-24 |
Ferruccio Guidi | update in staic_2 and basic_2 |
tree | commitdiff |
2020-04-21 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2020-04-18 |
Ferruccio Guidi | milestone update in basic_2, update in ground and static_2 |
tree | commitdiff |
2020-04-09 |
Ferruccio Guidi | update in binararies for λδ |
tree | commitdiff |
2020-04-09 |
Ferruccio Guidi | renaming in basics/relations |
tree | commitdiff |
2020-03-05 |
Ferruccio Guidi | update in standard library |
tree | commitdiff |
2020-02-27 |
Ferruccio Guidi | ground_2 released and permanently renamed as ground |
tree | commitdiff |
2020-02-27 |
Ferruccio Guidi | milestone update in ground_2 and basic_2A |
tree | commitdiff |
2020-02-17 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
2020-02-11 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
2020-02-10 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
2020-02-08 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
2020-02-07 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
2020-02-06 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
2020-02-03 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
2020-01-31 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
2020-01-30 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
2020-01-30 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
2020-01-29 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
2020-01-25 |
Ferruccio Guidi | update in basic_2 + new tool "roles" |
tree | commitdiff |
2020-01-18 |
Ferruccio Guidi | update in lambdadelta |
tree | commitdiff |
2020-01-17 |
Ferruccio Guidi | update in lambdadelta |
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 |
tree | commitdiff |
2020-01-06 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
tree | commitdiff |
2019-12-20 |
Ferruccio Guidi | web site update |
tree | commitdiff |
2019-12-19 |
Ferruccio Guidi | updated web site |
tree | commitdiff |
2019-12-06 |
Ferruccio Guidi | λδ web site update |
tree | commitdiff |
2019-11-20 |
Ferruccio Guidi | web site update |
tree | commitdiff |
2019-11-19 |
Ferruccio Guidi | λδ-2B is released |
tree | commitdiff |
2019-11-18 |
Ferruccio Guidi | update for the article |
tree | commitdiff |
2019-11-15 |
Ferruccio Guidi | update in static_2 and basic_2 for the article |
tree | commitdiff |
2019-11-09 |
Ferruccio Guidi | updated probe and matitadep |
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-16 |
Claudio Sacerdoti... | Update online helper entries |
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-03 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
2019-10-01 |
Ferruccio Guidi | Merge remote-tracking branch 'origin/matita-lablgtk3' |
tree | commitdiff |
2019-09-30 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
2019-09-29 |
Ferruccio Guidi | matita gtk3: some bugs fixed 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-28 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | debugging code removed |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | Merge branch 'declarative' into matita-lablgtk3 |
tree | commitdiff |
2019-09-27 |
Andrea Berlingieri | Test pretty printg of declarative tactics |
tree | commitdiff |
2019-09-27 |
Andrea Berlingieri | Make 'that is equivalent to' a standalone tactic |
tree | commitdiff |
2019-09-27 |
Andrea Berlingieri | Many changes |
tree | commitdiff |
2019-09-27 |
Andrea Berlingieri | Add last declarative tactics, modify rewriting tactics |
tree | commitdiff |
2019-09-27 |
Andrea Berlingieri | Changes to declarative tactics, implementation of equal... |
tree | commitdiff |
2019-09-27 |
Andrea Berlingieri | Many changes |
tree | commitdiff |
2019-09-27 |
Andrea Berlingieri | Add drafts for some tactics |
tree | commitdiff |
2019-09-27 |
Andrea Berlingieri | Partially restore the suppose tactic |
tree | commitdiff |
2019-09-27 |
Andrea Berlingieri | Partially restore the assume tactic |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | porting to recent ocaml |
tree | commitdiff |
2019-09-27 |
Ferruccio Guidi | patches for compilation with ocaml 4.0.5 |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | finite_lambda restored |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | reverse_complexity lib restored |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | make depend.opt |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | Most warnings turned into errors and avoided |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | 0.99.3 -> 0.99.4 |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | report_error dialog ported to gtk3 |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | Quit without saving dialog fixed |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | useful comment |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | automatically inserted aliases |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | use #run for dialog |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | Let the widget expand in the old way |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | Old glade2 file removed |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | Broken libs moved to broken_lib |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | lablgladecc => lablgladecc3 |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | disambiguationErrors now uses #run |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | code for DisambiguationErrors simplified |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | several dialog boxes no longer used removed |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | last deprecated widget updated |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | findReplace ported from GtkTable to GtkGrid |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | More H/V deprecated widgets replaced |
tree | commitdiff |
next |