| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Updated |  David Aspinall | 2000-03-09 |
| * | Added proof-shell-process-connection-type. | David Aspinall | 2000-03-09 |
| * | Updated | David Aspinall | 2000-03-09 |
| * | Fixed up outline markup. | David Aspinall | 2000-03-09 |
| * | Updated, added outline. | David Aspinall | 2000-03-08 |
| * | Note about bug/fix with old Japan versions of CL macs. | David Aspinall | 2000-03-08 |
| * | Notes about fix for problem with Emacs 20.5 reported by Pierre | David Aspinall | 2000-01-25 |
| * | Note about X-Symbol problems. | David Aspinall | 2000-01-12 |
| * | Mention fix to proof-shell-eager-annotation-start-length | David Aspinall | 2000-01-06 |
| * | Development version becomes 3.1. | David Aspinall | 1999-11-30 |
| * | Updated | David Aspinall | 1999-11-22 |
| * | Tweaks | David Aspinall | 1999-11-17 |
| * | Updated | David Aspinall | 1999-11-17 |
| * | Updated | David Aspinall | 1999-11-16 |
| * | Updated | David Aspinall | 1999-11-15 |
| * | Updated | David Aspinall | 1999-11-15 |
| * | Updated | David Aspinall | 1999-11-14 |
| * | Improvement of user options, change of terminology. | David Aspinall | 1999-11-10 |
| * | Updated | David Aspinall | 1999-11-08 |
| * | Updated | David Aspinall | 1999-11-08 |
| * | Added inform-file-retracted-cmd setting | David Aspinall | 1999-10-21 |
| * | Renamed proof-shell-inform-file-processed-cmd | David Aspinall | 1999-10-21 |
| * | Changed name to proof-shell-inform-file-processed-cmd | David Aspinall | 1999-10-21 |
| * | Fixes. | David Aspinall | 1999-10-20 |
| * | Made proof-site only load once. | David Aspinall | 1999-10-20 |
| * | Note about queue improvements. | David Aspinall | 1999-10-15 |
| * | Mention proof-toolbar-use-enablers | David Aspinall | 1999-10-12 |
| * | Speed optimizations, part I. | David Aspinall | 1999-10-06 |
| * | Next version will be 3.0 cvs update | David Aspinall | 1999-10-06 |
| * | More improvements/fixes for closing unfinished proofs. | David Aspinall | 1999-10-06 |
| * | Fixed coalescing of error messages: all error messages from | David Aspinall | 1999-10-06 |
| * | Updated | David Aspinall | 1999-10-06 |
| * | Updated | David Aspinall | 1999-10-06 |
| * | Updated | David Aspinall | 1999-10-06 |
| * | Admin changes for version 2.2. | David Aspinall | 1999-10-06 |
| * | proof-try-command is deprecated | David Aspinall | 1999-10-06 |
| * | Renamed some configuration variables for uniformity, see CHANGES. | David Aspinall | 1999-10-01 |
| * | Unhappily added proof-shell-leave-annotations-in-output hack. | David Aspinall | 1999-09-29 |
| * | proof-mouse-track-insert only seems to work on XEmacs | David Aspinall | 1999-09-29 |
| * | Mentioned proof-mouse-track-insert. | David Aspinall | 1999-09-29 |
| * | Updated | David Aspinall | 1999-09-28 |
| * | Updated | David Aspinall | 1999-09-24 |
| * | Updated | David Aspinall | 1999-09-23 |
| * | Updated | David Aspinall | 1999-09-22 |
| * | Expanded. | David Aspinall | 1999-09-21 |
| * | Updated | David Aspinall | 1999-09-13 |
| * | updated | David Aspinall | 1999-08-27 |
| * | Changed for version 2.2 pre-release. | David Aspinall | 1999-08-27 |
| * | Reverted to 2.1 changes | David Aspinall | 1999-08-24 |
| * | Changes for 2.3 series pre-releases. | David Aspinall | 1999-08-23 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |