]>
2021-02-28 | Ferruccio Guidi | update in ground | blob | commitdiff | raw |
2018-07-14 | Ferruccio Guidi | updated xoa and predefined virtuals | blob | commitdiff | raw | diff to current |
2018-04-05 | Ferruccio Guidi | bug fixed in xoa generator | blob | commitdiff | raw | diff to current |
2012-12-28 | Ferruccio Guidi | xoa: change in naming convenctions for existential... | blob | commitdiff | raw | diff to current |
2011-08-03 | Ferruccio Guidi | the generation of the multiple conjunction is now suppo... | blob | commitdiff | raw | diff to current |
2011-07-28 | Ferruccio Guidi | xoa: new binary for the generation of multiple logical... | blob | commitdiff | raw | diff to current |