2018-12-26 |
Claudio Sacerdoti... | Old glade2 file removed |
commit | commitdiff | tree | snapshot |
2018-12-26 |
Claudio Sacerdoti... | Broken libs moved to broken_lib |
commit | commitdiff | tree | snapshot |
2018-12-26 |
Claudio Sacerdoti... | lablgladecc => lablgladecc3 |
commit | commitdiff | tree | snapshot |
2018-12-24 |
Claudio Sacerdoti... | disambiguationErrors now uses #run |
commit | commitdiff | tree | snapshot |
2018-12-22 |
Claudio Sacerdoti... | code for DisambiguationErrors simplified |
commit | commitdiff | tree | snapshot |
2018-12-22 |
Claudio Sacerdoti... | several dialog boxes no longer used removed |
commit | commitdiff | tree | snapshot |
2018-12-22 |
Claudio Sacerdoti... | last deprecated widget updated |
commit | commitdiff | tree | snapshot |
2018-12-22 |
Claudio Sacerdoti... | findReplace ported from GtkTable to GtkGrid |
commit | commitdiff | tree | snapshot |
2018-12-21 |
Claudio Sacerdoti... | More H/V deprecated widgets replaced |
commit | commitdiff | tree | snapshot |
2018-12-21 |
Claudio Sacerdoti... | GtkHSeparator deprecated |
commit | commitdiff | tree | snapshot |
2018-12-21 |
Claudio Sacerdoti... | HandleBox deprecated and no longer working |
commit | commitdiff | tree | snapshot |
2018-12-21 |
Claudio Sacerdoti... | comment |
commit | commitdiff | tree | snapshot |
2018-12-21 |
Claudio Sacerdoti... | Fixes to show coercion graph |
commit | commitdiff | tree | snapshot |
2018-12-21 |
Claudio Sacerdoti... | Fix dialog win |
commit | commitdiff | tree | snapshot |
2018-12-20 |
Claudio Sacerdoti... | Use lablgladecc -embed again |
commit | commitdiff | tree | snapshot |
2018-12-19 |
Claudio Sacerdoti... | On-going porting to lablgtk3 |
commit | commitdiff | tree | snapshot |
2018-12-17 |
Ferruccio Guidi | list of failing files updated |
commit | commitdiff | tree | snapshot |
2018-12-10 |
Ferruccio Guidi | web site update |
commit | commitdiff | tree | snapshot |
2018-12-06 |
Ferruccio Guidi | web site update |
commit | commitdiff | tree | snapshot |
2018-12-01 |
Ferruccio Guidi | web site update |
commit | commitdiff | tree | snapshot |
2018-11-19 |
Ferruccio Guidi | supplementary files for web site |
commit | commitdiff | tree | snapshot |
2018-11-19 |
Ferruccio Guidi | Merge branch 'master' of ssh://matita.cs.unibo.it:... |
commit | commitdiff | tree | snapshot |
2018-11-19 |
Ferruccio Guidi | some supplementary items for web site |
commit | commitdiff | tree | snapshot |
2018-11-14 |
Ferruccio Guidi | presentation upload |
commit | commitdiff | tree | snapshot |
2018-11-08 |
Ferruccio Guidi | update in basic_2 and in web site |
commit | commitdiff | tree | snapshot |
2018-11-06 |
Ferruccio Guidi | update in bsasic_2 |
commit | commitdiff | tree | snapshot |
2018-11-06 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-11-05 |
Ferruccio Guidi | update in basic_2, static_2, web site |
commit | commitdiff | tree | snapshot |
2018-11-02 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-11-01 |
Ferruccio Guidi | milestone uupdate in basic_2 |
commit | commitdiff | tree | snapshot |
2018-10-27 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-10-15 |
Ferruccio Guidi | auxiliary update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-10-01 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-09-29 |
Ferruccio Guidi | update in basic_2 and apps_2 |
commit | commitdiff | tree | snapshot |
2018-09-27 |
Ferruccio Guidi | update in basic_2 and static_2 |
commit | commitdiff | tree | snapshot |
2018-09-21 |
Ferruccio Guidi | milestone in basic_2, λδ-2A reconstructed |
commit | commitdiff | tree | snapshot |
2018-09-19 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
commit | commitdiff | tree | snapshot |
2018-09-18 |
Ferruccio Guidi | update in static_2 and basic_2 |
commit | commitdiff | tree | snapshot |
2018-09-13 |
Ferruccio Guidi | dependences for ocaml version 4.05.0 |
commit | commitdiff | tree | snapshot |
2018-09-12 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
commit | commitdiff | tree | snapshot |
2018-09-08 |
Ferruccio Guidi | update in static_2 and basic_2 |
commit | commitdiff | tree | snapshot |
2018-09-01 |
Ferruccio Guidi | update in basic_2 and ground_2 |
commit | commitdiff | tree | snapshot |
2018-08-19 |
Ferruccio Guidi | severe bug found in parallel zeta |
commit | commitdiff | tree | snapshot |
2018-08-18 |
Ferruccio Guidi | severe bug found in parallel zeta |
commit | commitdiff | tree | snapshot |
2018-08-16 |
Ferruccio Guidi | severe bug found in parallel zeta |
commit | commitdiff | tree | snapshot |
2018-08-14 |
Ferruccio Guidi | severe bug found in parallel zeta |
commit | commitdiff | tree | snapshot |
2018-08-07 |
Ferruccio Guidi | commit in ground_2, static_2, basic_2, apps_2 |
commit | commitdiff | tree | snapshot |
2018-08-01 |
Ferruccio Guidi | parameter sintax added to axiom statement |
commit | commitdiff | tree | snapshot |
2018-08-01 |
Ferruccio Guidi | update in ground_2 and basic_2 |
commit | commitdiff | tree | snapshot |
2018-07-28 |
Ferruccio Guidi | update in ground_2 and basic_2 |
commit | commitdiff | tree | snapshot |
2018-07-27 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-07-26 |
Ferruccio Guidi | update in basic_2 and ground_2 |
commit | commitdiff | tree | snapshot |
2018-07-21 |
Ferruccio Guidi | update in apps_2 |
commit | commitdiff | tree | snapshot |
2018-07-19 |
Ferruccio Guidi | update in functional |
commit | commitdiff | tree | snapshot |
2018-07-19 |
Ferruccio Guidi | update in ground_2 |
commit | commitdiff | tree | snapshot |
2018-07-14 |
Ferruccio Guidi | updated xoa and predefined virtuals |
commit | commitdiff | tree | snapshot |
2018-07-13 |
Ferruccio Guidi | update in static_2 and app_2 |
commit | commitdiff | tree | snapshot |
2018-07-11 |
Ferruccio Guidi | update in static_2 and app_2 |
commit | commitdiff | tree | snapshot |
2018-07-02 |
Ferruccio Guidi | syntactic components detached from basic_2 become static_2 |
commit | commitdiff | tree | snapshot |
2018-06-25 |
Ferruccio Guidi | renaming in basic_2 |
commit | commitdiff | tree | snapshot |
2018-06-23 |
Ferruccio Guidi | renaming |
commit | commitdiff | tree | snapshot |
2018-06-12 |
Ferruccio Guidi | renaming in basic_2 |
commit | commitdiff | tree | snapshot |
2018-06-11 |
Ferruccio Guidi | Merge branch 'master' of ssh://matita.cs.unibo.it:... |
commit | commitdiff | tree | snapshot |
2018-06-11 |
Ferruccio Guidi | bug fix in basic_2 |
commit | commitdiff | tree | snapshot |
2018-06-11 |
Ferruccio Guidi | bug fix in basic_2 |
commit | commitdiff | tree | snapshot |
2018-06-11 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-06-09 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-06-08 |
Ferruccio Guidi | milestone update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-06-07 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-06-06 |
Ferruccio Guidi | update in ground_2 and basic_2 |
commit | commitdiff | tree | snapshot |
2018-06-04 |
Ferruccio Guidi | update in ground_2 and basic_2 |
commit | commitdiff | tree | snapshot |
2018-05-30 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-05-29 |
Ferruccio Guidi | commit completed in basic_2 |
commit | commitdiff | tree | snapshot |
2018-05-29 |
Ferruccio Guidi | partial commit in basic_2 |
commit | commitdiff | tree | snapshot |
2018-05-25 |
Ferruccio Guidi | partial update update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-05-23 |
Ferruccio Guidi | update in ground_2 and basic_2 (partial commit) |
commit | commitdiff | tree | snapshot |
2018-05-14 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-05-12 |
Ferruccio Guidi | update in ground_2 and basic_2 |
commit | commitdiff | tree | snapshot |
2018-05-12 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-05-11 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-05-11 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-05-11 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-05-10 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-05-10 |
Ferruccio Guidi | update in ground_2 |
commit | commitdiff | tree | snapshot |
2018-05-09 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-05-09 |
Ferruccio Guidi | update in groud_2 and models |
commit | commitdiff | tree | snapshot |
2018-05-08 |
Ferruccio Guidi | update in grond_2 and models |
commit | commitdiff | tree | snapshot |
2018-05-07 |
Ferruccio Guidi | update in apps_2 |
commit | commitdiff | tree | snapshot |
2018-05-05 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-05-04 |
Ferruccio Guidi | update in ground_2 and basic_2 |
commit | commitdiff | tree | snapshot |
2018-05-03 |
Ferruccio Guidi | update in ground_2 and models |
commit | commitdiff | tree | snapshot |
2018-05-03 |
Ferruccio Guidi | notational update in lambdadelta completed |
commit | commitdiff | tree | snapshot |
2018-05-01 |
Ferruccio Guidi | partial notational update in ground_2 and basic_2 .... |
commit | commitdiff | tree | snapshot |
2018-05-01 |
Ferruccio Guidi | update in models and ground_2 |
commit | commitdiff | tree | snapshot |
2018-04-30 |
Ferruccio Guidi | initial definition of λδ model |
commit | commitdiff | tree | snapshot |
2018-04-27 |
Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree | snapshot |
2018-04-25 |
Ferruccio Guidi | update in ground_2 and basic_2 |
commit | commitdiff | tree | snapshot |
2018-04-20 |
Ferruccio Guidi | notational update in ground_2 and basic_2 |
commit | commitdiff | tree | snapshot |
2018-04-20 |
Ferruccio Guidi | decentralizing core notation continues ... |
commit | commitdiff | tree | snapshot |
2018-04-16 |
Ferruccio Guidi | update in basic_2 and ground_2 |
commit | commitdiff | tree | snapshot |
next |