2019-09-27 |
Claudio Sacerdoti... | Matita 0.99.* bug fixed: new alias insertion |
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 |
2019-09-27 |
Claudio Sacerdoti... | GtkHSeparator deprecated |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | HandleBox deprecated and no longer working |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | comment |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | Fixes to show coercion graph |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | Fix dialog win |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | Use lablgladecc -embed again |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | On-going porting to 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-07-15 |
Ferruccio Guidi | additions and corrections for the article on λδ-2B |
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-30 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2019-05-29 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2019-05-16 |
Ferruccio Guidi | decentralizing core notation continues ... |
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 |
2019-03-20 |
Ferruccio Guidi | update in ground_2 static_2 basic_2 |
tree | commitdiff |
2019-03-04 |
Ferruccio Guidi | first steps towards decidability of the validity predicate |
tree | commitdiff |
2019-02-04 |
Ferruccio Guidi | minor corrections and updates |
tree | commitdiff |
2019-01-08 |
Ferruccio Guidi | patches for compilation with ocaml 4.0.5 |
tree | commitdiff |
2019-01-01 |
Ferruccio Guidi | the decentralization of core notation continues ... |
tree | commitdiff |
2018-12-28 |
Claudio Sacerdoti... | finite_lambda restored |
tree | commitdiff |
2018-12-28 |
Claudio Sacerdoti... | reverse_complexity lib restored |
tree | commitdiff |
2018-12-28 |
Claudio Sacerdoti... | make depend.opt |
tree | commitdiff |
2018-12-27 |
Claudio Sacerdoti... | make dist repaired |
tree | commitdiff |
2018-12-27 |
Claudio Sacerdoti... | added missing libs detection |
tree | commitdiff |
2018-12-27 |
Claudio Sacerdoti... | Most warnings turned into errors and avoided |
tree | commitdiff |
2018-12-26 |
Claudio Sacerdoti... | 0.99.3 -> 0.99.4 |
tree | commitdiff |
2018-12-26 |
Claudio Sacerdoti... | report_error dialog ported to gtk3 |
tree | commitdiff |
2018-12-26 |
Claudio Sacerdoti... | Quit without saving dialog fixed |
tree | commitdiff |
2018-12-26 |
Claudio Sacerdoti... | useful comment |
tree | commitdiff |
2018-12-26 |
Claudio Sacerdoti... | automatically inserted aliases |
tree | commitdiff |
2018-12-26 |
Claudio Sacerdoti... | Matita 0.99.* bug fixed: new alias insertion |
tree | commitdiff |
2018-12-26 |
Claudio Sacerdoti... | use #run for dialog |
tree | commitdiff |
2018-12-26 |
Claudio Sacerdoti... | Let the widget expand in the old way |
tree | commitdiff |
2018-12-26 |
Claudio Sacerdoti... | Old glade2 file removed |
tree | commitdiff |
2018-12-26 |
Claudio Sacerdoti... | Broken libs moved to broken_lib |
tree | commitdiff |
2018-12-26 |
Claudio Sacerdoti... | lablgladecc => lablgladecc3 |
tree | commitdiff |
2018-12-24 |
Claudio Sacerdoti... | disambiguationErrors now uses #run |
tree | commitdiff |
2018-12-22 |
Claudio Sacerdoti... | code for DisambiguationErrors simplified |
tree | commitdiff |
2018-12-22 |
Claudio Sacerdoti... | several dialog boxes no longer used removed |
tree | commitdiff |
2018-12-22 |
Claudio Sacerdoti... | last deprecated widget updated |
tree | commitdiff |
2018-12-22 |
Claudio Sacerdoti... | findReplace ported from GtkTable to GtkGrid |
tree | commitdiff |
2018-12-21 |
Claudio Sacerdoti... | More H/V deprecated widgets replaced |
tree | commitdiff |
2018-12-21 |
Claudio Sacerdoti... | GtkHSeparator deprecated |
tree | commitdiff |
2018-12-21 |
Claudio Sacerdoti... | HandleBox deprecated and no longer working |
tree | commitdiff |
2018-12-21 |
Claudio Sacerdoti... | comment |
tree | commitdiff |
2018-12-21 |
Claudio Sacerdoti... | Fixes to show coercion graph |
tree | commitdiff |
2018-12-21 |
Claudio Sacerdoti... | Fix dialog win |
tree | commitdiff |
2018-12-20 |
Claudio Sacerdoti... | Use lablgladecc -embed again |
tree | commitdiff |
2018-12-20 |
Ferruccio Guidi | xoa utility updated |
tree | commitdiff |
2018-12-19 |
Claudio Sacerdoti... | On-going porting to lablgtk3 |
tree | commitdiff |
2018-12-17 |
Ferruccio Guidi | list of failing files updated |
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-06 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-11-05 |
Ferruccio Guidi | update in basic_2, static_2, web site |
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-13 |
Ferruccio Guidi | dependences for ocaml version 4.05.0 |
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-19 |
Ferruccio Guidi | severe bug found in parallel zeta |
tree | commitdiff |
2018-08-18 |
Ferruccio Guidi | severe bug found in parallel zeta |
tree | commitdiff |
2018-08-16 |
Ferruccio Guidi | severe bug found in parallel zeta |
tree | commitdiff |
2018-08-14 |
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 |
next |