| Age | Commit message (Expand) | Author |
|---|
| 1998-10-21 | o Replaced proof-register-new-processed-file by -possibly-new- variant. | David Aspinall |
| 1998-10-21 | no longer displays important messages about file assertion/retraction | Thomas Kleymann |
| 1998-10-21 | Improved maintainability of code in proof-check-process-available. | David Aspinall |
| 1998-10-21 | fixed a bug in `proof-check-process-available' | Thomas Kleymann |
| 1998-10-21 | o made buffer-file-truename even safer | Thomas Kleymann |
| 1998-10-21 | o Improved error messages | Thomas Kleymann |
| 1998-10-21 | Added code to register fully processed file. Multiple file fix list updated | David Aspinall |
| 1998-10-21 | Fixed info directory setting so more robust and works for FSF GNU Emacs | David Aspinall |
| 1998-10-21 | Changed from forcing w3 to using customizable browse-url | David Aspinall |
| 1998-10-21 | Added proof-activate-scripting-hook and fixed regexps | David Aspinall |
| 1998-10-20 | Set version tag for new release. | David Aspinall |
| 1998-10-20 | Changed minibuffer tag to have name of prover instead of Proof | David Aspinall |
| 1998-10-20 | Changed for proof-script-buffer to proof-script-buffer-list | David Aspinall |
| 1998-10-19 | Bug fixes for multiple file code, da/tms. | David Aspinall |
| 1998-10-18 | support for nested goals is now restricted to Coq | Thomas Kleymann |
| 1998-10-18 | relaxed conditions in light of new multiple files support | Thomas Kleymann |
| 1998-10-18 | Reimplemented multiple file proof developments | Thomas Kleymann |
| 1998-10-15 | Set version tag for new release. | David Aspinall |
| 1998-10-14 | Set version tag for release. | David Aspinall |
| 1998-10-13 | Disabled font-lock in process buffer | Thomas Kleymann |
| 1998-10-13 | Set version tag for release. | David Aspinall |
| 1998-10-12 | Fixed bug in proof-toolbar-qed. | David Aspinall |
| 1998-10-12 | Fixed broken tagging | David Aspinall |
| 1998-10-12 | Added todo for proof-issue-goal, proof-issue-save. | David Aspinall |
| 1998-10-12 | Made toolbar functions interactive, needed by old XEmacs. | David Aspinall |
| 1998-10-12 | Made toolbar functions interactive, needed by old XEmacs. | David Aspinall |
| 1998-10-12 | Made toolbar functions interactive, needed by old XEmacs. | David Aspinall |
| 1998-10-12 | Added compatibility hack for customize-menu-create. | David Aspinall |
| 1998-10-12 | Added sensible error message for attempting undo on empty locked region. | David Aspinall |
| 1998-10-12 | Removed toolbar enablers. XEmacs isnt ready for them yet. | David Aspinall |
| 1998-10-12 | Made defface's work for dark background Emacsen (default for FSF on Linux). | David Aspinall |
| 1998-10-12 | Dox. Made proof-shell-exec-loop not complain about empty action list. | David Aspinall |
| 1998-10-12 | Made toolbar functions leave point alone, mostly. | David Aspinall |
| 1998-10-12 | Splash screen tries gif if jpeg not available. Using hack by tms | David Aspinall |
| 1998-10-12 | Fixed typo. | David Aspinall |
| 1998-10-12 | Doc strings | David Aspinall |
| 1998-10-12 | Toolbar featurep. Separate Internals menu. Doc strings. | David Aspinall |
| 1998-10-12 | Removed proof-internal cus grp from proof group. | David Aspinall |
| 1998-10-09 | Customize group name: prover-config, not proof-config. | David Aspinall |
| 1998-10-09 | Minor bug fixes, code, doc improvements. | David Aspinall |
| 1998-10-08 | Changed binding for C-c RET | David Aspinall |
| 1998-10-07 | Added more documentation. | David Aspinall |
| 1998-10-07 | Added detection of less than 16 bit colour depth to display 8bit | David Aspinall |
| 1998-10-07 | Munged name of customization variables so that menus display nicely. | David Aspinall |
| 1998-10-05 | da> BTW, the menus have disappeared! | Thomas Kleymann |
| 1998-10-02 | Moved menu definition back into proof-config-done. | David Aspinall |
| 1998-10-02 | Added $ to coq automode regexp | David Aspinall |
| 1998-10-02 | added LEGO support for proof-goal-command and proof-save-command | Thomas Kleymann |
| 1998-10-01 | Updated maintainer tags to remove lego email address. | David Aspinall |
| 1998-10-01 | Added documentation for user-level functions. | David Aspinall |
