| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Cleaned up example files so all demonstrate same theorem "conj_comms". |  David Aspinall | 1999-09-13 |
| * | tuned; |  Makarius Wenzel | 1999-08-06 |
| * | Fix for splash hack for theory files when proo-splash-inhibit=t. | David Aspinall | 1998-12-10 |
| * | Fixes to debug long standing not-showing-first-goal problem. | David Aspinall | 1998-11-25 |
| * | Removed duplicate proof | David Aspinall | 1998-10-20 |
| * | Added Id to headers. | David Aspinall | 1998-09-09 |
| * | More features working. Added example. | David Aspinall | 1998-09-08 |
| * | Added Isabelle example and skeleton for Coq and Lego. | David Aspinall | 1998-09-03 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |