| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1998-11-10 | Refresh response buffer when goals buffer is refreshed. | Thomas Kleymann | |
| 1998-11-09 | Added docstring | David Aspinall | |
| 1998-11-09 | Added proof-rsh-command to help complete documentation (was allocated | David Aspinall | |
| to tms but he said he wouldn't get around to it) | |||
| 1998-11-09 | Added proof-script-indent user option, to enable indentation code. | David Aspinall | |
| Disabled by default. May be activated by particular proof assistants if they feel confident about it. I don't. Made proof-indent be autoloaded as needed. Lets pray it won't be. | |||
| 1998-11-09 | Added proof-strict-read-only, probably a handy new user-option. | David Aspinall | |
| Side effect is that it's default value of nil for FSF Emacs avoids the font lock problem with span-read-only for FSF Emacs. XEmacs does not have the warning message implemented yet. | |||
| 1998-11-09 | Added acknowledgements to doc. Removed from code. | David Aspinall | |
| 1998-11-06 | (Failed) Attempt to recognize XEmacs with broken jpeg support | David Aspinall | |
| 1998-11-06 | Give error message when attempting to load a second instance of Proof | David Aspinall | |
| General, and give up loading. To save embarrasment in demos, 8-). | |||
| 1998-11-04 | Set version tag for new release. | David Aspinall | |
| 1998-11-03 | Being pedantic about variables versus predicates, renamed prog-name-ask-p. | David Aspinall | |
| 1998-11-03 | Added docstring | David Aspinall | |
| 1998-11-03 | Removed FIXME | David Aspinall | |
| 1998-11-03 | Customization group and type fixes | David Aspinall | |
| 1998-11-03 | Func menu problems, note added | David Aspinall | |
| 1998-11-03 | Note added. | David Aspinall | |
| 1998-11-03 | Improved docstrings | David Aspinall | |
| 1998-11-03 | added FIXME note on maybe using regexp-opt | David Aspinall | |
| 1998-11-03 | Added menu made from toolbar commands, called "Scripting". | David Aspinall | |
| Made file FSF GNU Emacs compatible. | |||
| 1998-11-03 | Renamed a couple of menu functions in case of later making | David Aspinall | |
| proof-menu.el. Always call proof-toolbar-setup. | |||
| 1998-11-03 | Promoted proof-window-dedicated to be a user option, and | David Aspinall | |
| renamed it [to reserve -p only for functions (predicates)]. | |||
| 1998-11-03 | Set version tag for new release. | Thomas Kleymann | |
| 1998-11-03 | fixed bug with font-lock face names | Thomas Kleymann | |
| 1998-11-03 | A* Fix display handling problems (tms, all week) | Thomas Kleymann | |
| Done. :-) | |||
| 1998-11-02 | Proof General no longer moves point in the current-buffer | Thomas Kleymann | |
| 1998-11-02 | Quick fix for multiple file problem when current scripting buffer is ↵ | David Aspinall | |
| retracted by prover. | |||
| 1998-11-02 | Proof General no longer changes selected window/buffer under your feet. | Thomas Kleymann | |
| 1998-11-02 | Set version tag for new release. | Thomas Kleymann | |
| 1998-11-02 | fixed minor bugs | Thomas Kleymann | |
| 1998-11-01 | o added support for byte-compilation | Thomas Kleymann | |
| o removed hhg tags in todo o fixed font-lock for FSF Emacs 20.2 o ensured that goals buffer is updated for longer queues o fixed a bug in proof-universal-keys-only-mode | |||
| 1998-10-30 | implemented new buffer model. The goals buffer is now exclusively | Thomas Kleymann | |
| reserved for goals. | |||
| 1998-10-30 | Set version tag for new release. | Thomas Kleymann | |
| 1998-10-30 | replaced some occurences of (current-buffer) by proof-shell-buffer to | Thomas Kleymann | |
| make code more robust | |||
| 1998-10-29 | Set version tag for new release. | David Aspinall | |
| 1998-10-29 | Added automatic <prover>-config customize group | David Aspinall | |
| 1998-10-29 | Crudely hacked Isabelle image onto splash screen. | David Aspinall | |
| 1998-10-29 | Fixed bug in proof-shell-process-urgent-message (preserve point). | David Aspinall | |
| 1998-10-29 | Clarifying comment about obscure variable added | David Aspinall | |
| 1998-10-29 | More hacks to variable names for customize (sorry) | David Aspinall | |
| 1998-10-29 | Fixed requires for FSF Emacs. | David Aspinall | |
| Patched (old bug?) in proof-response-buffer-display, how did it come back? | |||
| 1998-10-29 | Added prefixes in custom defgroups. | David Aspinall | |
| 1998-10-28 | Added autoload for proof-shell-available-p | David Aspinall | |
| 1998-10-28 | Added proof-toolbar-follow-mode user option and functions to support | David Aspinall | |
| it. Removed require on proof-shell from proof-toolbar. | |||
| 1998-10-28 | Added customize group for Proof General faces and fixed other | David Aspinall | |
| groups in proof-config. | |||
| 1998-10-28 | Set version tag for new release. | proofgen | |
| 1998-10-28 | Set version tag for new release. | proofgen | |
| 1998-10-28 | rearranged code to avoid compiler warning messages | Thomas Kleymann | |
| 1998-10-27 | Continuing mods for cleaner byte compile | David Aspinall | |
| 1998-10-27 | Splash screen added back. Put in Xemacs test for noninteractive to | David Aspinall | |
| fix odd arithmetic error during byte compile. | |||
| 1998-10-27 | More fixes for cleaner byte compile. | David Aspinall | |
| 1998-10-27 | Removed eval-when-compile around define-derived-mode, it don't work. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |