]>
2019-06-15 | Ferruccio Guidi | some restyling ... | tree | commitdiff |
2019-03-25 | Ferruccio Guidi | milestone in basic_2 | tree | commitdiff |
2018-11-05 | Ferruccio Guidi | update in basic_2, static_2, web site | tree | commitdiff |
2018-09-27 | Ferruccio Guidi | update in basic_2 and static_2 | tree | commitdiff |
2018-09-12 | Ferruccio Guidi | update in ground_2, static_2, basic_2 | tree | commitdiff |
2018-08-14 | Ferruccio Guidi | severe bug found in parallel zeta | tree | commitdiff |
2018-07-02 | Ferruccio Guidi | syntactic components detached from basic_2 become static_2 | tree | commitdiff |