]>
2009-05-25 | Enrico Tassi | nasty change in the lexer/parser: | commit | commitdiff |
2009-04-15 | Ferruccio Guidi | - transcript: bugfix | commit | commitdiff |
2008-12-01 | Enrico Tassi | 0.5.6 almost ok | commit | commitdiff |
2008-12-01 | Enrico Tassi | better doc | commit | commitdiff |
2008-11-30 | Enrico Tassi | natural deduction support for lemmas with premises | commit | commitdiff |
2008-11-17 | Enrico Tassi | ... | commit | commitdiff |
2008-11-17 | Enrico Tassi | exercises ready | commit | commitdiff |
2008-11-17 | Enrico Tassi | all ex done | commit | commitdiff |
2008-11-16 | Enrico Tassi | commented out unfinished proof | commit | commitdiff |
2008-11-15 | Enrico Tassi | apply rule (lem EM) works | commit | commitdiff |
2008-11-15 | Claudio Sacerdoti... | New bug. | commit | commitdiff |
2008-11-15 | Claudio Sacerdoti... | Another bug. | commit | commitdiff |
2008-11-15 | Claudio Sacerdoti... | This commit shows a bug. | commit | commitdiff |
2008-11-15 | Enrico Tassi | almost ready | commit | commitdiff |