]>
2008-12-20 | Ferruccio Guidi | we started the support for naive sort inclusion | blob | commitdiff | raw |
2008-12-18 | Ferruccio Guidi | - improved logging | blob | commitdiff | raw | diff to current |
2008-12-17 | Ferruccio Guidi | we started the support for the coercions "alle" and... | blob | commitdiff | raw | diff to current |
2008-12-16 | Ferruccio Guidi | we added the implicit coercion for modus tollens | blob | commitdiff | raw | diff to current |
2008-12-14 | Ferruccio Guidi | - improved logging | blob | commitdiff | raw | diff to current |
2008-12-14 | Ferruccio Guidi | new kernel basic_ag (with absolute local references) | blob | commitdiff | raw | diff to current |