| Commit message (Collapse) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Added some bug test cases. |  David Aspinall | 2000-09-13 | |
| | | ||||
| * | Added tag to force Isar mode | David Aspinall | 2000-06-27 | |
| | | ||||
| * | File used to test new parsing mechanism. | David Aspinall | 2000-06-01 | |
| | | ||||
| * | Test files for multiple file handling with Isabelle/Isar; |  Makarius Wenzel | 1999-07-29 | |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |