]>
2009-05-25 | Enrico Tassi | nasty change in the lexer/parser: | commit | commitdiff |
2009-04-15 | Ferruccio Guidi | - transcript: bugfix | commit | commitdiff |
2008-11-30 | Enrico Tassi | natural deduction support for lemmas with premises | commit | commitdiff |
2008-11-24 | Enrico Tassi | .... | commit | commitdiff |