]>
2023-02-14 | Claudio Sacerdoti... | mod change (-x) | blob | commitdiff | raw |
2009-05-25 | Enrico Tassi | nasty change in the lexer/parser: | blob | commitdiff | raw |
2008-12-18 | Claudio Sacerdoti... | Many axioms are now proved... using many more (but... | blob | commitdiff | raw | diff to current |
2008-10-01 | Claudio Sacerdoti... | - setters for data structures now support "commuting... | blob | commitdiff | raw | diff to current |
2008-07-25 | Claudio Sacerdoti... | AST to ASTFE completed up to a few computational (... | blob | commitdiff | raw | diff to current |
2008-07-16 | Claudio Sacerdoti... | a) update with upstream version | blob | commitdiff | raw | diff to current |