]>
2018-02-02 | Ferruccio Guidi | xoa updated |
commit | commitdiff | tree |
2018-01-30 | Ferruccio Guidi | helena: updated prolog exportation to ld3 and ALT-0/PTS |
commit | commitdiff | tree |
2018-01-17 | Ferruccio Guidi | update in basic_2 |
commit | commitdiff | tree |
2018-01-13 | Ferruccio Guidi | \lambda\delta web site update for git |
commit | commitdiff | tree |
2018-01-09 | Ferruccio Guidi | helena: warning removed and modifications for λΥP exportation |
commit | commitdiff | tree |
2018-01-09 | Ferruccio Guidi | update in helena |
commit | commitdiff | tree |
2018-01-09 | Ferruccio Guidi | jet a change in dependences |
commit | commitdiff | tree |