| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-09-22 | tuned example according to Isabelle style-guide; | Makarius Wenzel | |
| 1999-09-13 | Cleaned up example files so all demonstrate same theorem "conj_comms". | David Aspinall | |
| Would be nice to add more theorems to compare scripts in different systems. | |||
| 1999-08-06 | tuned; | Makarius Wenzel | |
| 1998-12-10 | Fix for splash hack for theory files when proo-splash-inhibit=t. | David Aspinall | |
| 1998-11-25 | Fixes to debug long standing not-showing-first-goal problem. | David Aspinall | |
| 1998-10-20 | Removed duplicate proof | David Aspinall | |
| 1998-09-09 | Added Id to headers. | David Aspinall | |
| 1998-09-08 | More features working. Added example. | David Aspinall | |
| 1998-09-03 | Added Isabelle example and skeleton for Coq and Lego. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |