| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-09-13 | Reorganized and formatted, added some items. | David Aspinall | |
| 1999-09-13 | XEmacs 21 fixes for documentation of function menu | David Aspinall | |
| 1999-09-13 | Mention splash screen and that XEmacs can't display transparent gifs | David Aspinall | |
| 1999-09-13 | Mention problem with Ctrl-C and ssh. | David Aspinall | |
| 1999-09-13 | Removed transparent gif from splash screen because XEmacs can't | David Aspinall | |
| display it nicely. | |||
| 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-09-13 | docstring improvements for proof-guess-command-name | David Aspinall | |
| 1999-09-13 | Made a release (ProofGeneral.spec, proof-site.el, download.phtml) | David Aspinall | |
| Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present | |||
| 1999-09-13 | Set proof-{qed,save}-commands. | David Aspinall | |
| 1999-09-13 | Fix so that buffer names are shorter (esp for Coq). | David Aspinall | |
| A fixed version of Patrick's earlier patch. | |||
| 1999-09-09 | tuned x-symbol setup (DvO); | Makarius Wenzel | |
| 1999-09-03 | proof-shell-restart-cmd: include welcome; | Makarius Wenzel | |
| 1999-09-03 | added bind_thms; | Makarius Wenzel | |
| added no_qed; more tacticals; removed isa-tactics (didn't make much sense); isa-goal-command-regexp accomodates "val ... =" part; | |||
| 1999-09-03 | usage: tell PROOFGENERAL_OPTIONS; | Makarius Wenzel | |
| -u true by default; | |||
| 1999-09-03 | da: improved comment; | Makarius Wenzel | |
| 1999-08-29 | fixed isar-find-and-forget (proper handling of multiple undos); | Makarius Wenzel | |
| 1999-08-29 | tuned; | Makarius Wenzel | |
| 1999-08-29 | added ALLGOALS; | Makarius Wenzel | |
| 1999-08-27 | Typo (I think) | David Aspinall | |
| 1999-08-27 | Note about volume | David Aspinall | |
| 1999-08-27 | Set version tag for new release. | David Aspinall | |
| 1999-08-27 | wording | David Aspinall | |
| 1999-08-27 | updated | David Aspinall | |
| 1999-08-27 | Added more macros to generalise Makefile | David Aspinall | |
| 1999-08-27 | Updated | David Aspinall | |
| 1999-08-27 | Added gallery | David Aspinall | |
| 1999-08-27 | New images for gallery | David Aspinall | |
| 1999-08-27 | Record of releases | David Aspinall | |
| 1999-08-27 | Updated for 2.1 | David Aspinall | |
| 1999-08-27 | Changed for version 2.2 pre-release. | David Aspinall | |
| 1999-08-27 | Updated | David Aspinall | |
| 1999-08-25 | added qed_spec_mp; | Makarius Wenzel | |
| 1999-08-25 | Fixed to include isar in distribution; made relocatable. | David Aspinall | |
| 1999-08-24 | Set version tag for new release. | David Aspinall | |
| 1999-08-24 | Altered release date for 2.1. | David Aspinall | |
| 1999-08-24 | Fixed version variable name. | David Aspinall | |
| 1999-08-24 | Attempted fix of FSFmacs problem, left as comment | David Aspinall | |
| 1999-08-24 | Docstring | David Aspinall | |
| 1999-08-24 | Reverted to 2.1 changes | David Aspinall | |
| 1999-08-24 | Updated | David Aspinall | |
| 1999-08-24 | enabled isar/; | Makarius Wenzel | |
| 1999-08-24 | enabled isar; | Makarius Wenzel | |
| 1999-08-24 | isar-response-mode; | Makarius Wenzel | |
| 1999-08-24 | some output syntax; | Makarius Wenzel | |
| 1999-08-23 | Updated from Coq 6.3 distrib. | David Aspinall | |
| 1999-08-23 | Set version tag for new release. | David Aspinall | |
| 1999-08-23 | FIXME to add menu to goals buffer, to match response buffer menu. | David Aspinall | |
| 1999-08-23 | Changes for 2.3 series pre-releases. | David Aspinall | |
| 1999-08-23 | Set version tag for new release. | David Aspinall | |
| 1999-08-23 | Maintainer addresses | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |