| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1998-10-21 | o Replaced proof-register-new-processed-file by -possibly-new- variant. | David Aspinall | |
| o Allowed proof-shell-process-file function to return nil o Fixed bug (missing declaration of 'file') in proof-shell-process-urgent-message | |||
| 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 | |
| o fixed bug in ...-check-... | |||
| 1998-10-21 | o Improved error messages | Thomas Kleymann | |
| o Fixed bug in proof-toolbar-next | |||
| 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 | |
| Made new proof-config customization group for variables supposed to be configured by prover specific settings (as opposed to user options, which are set by users). This adds type information and useful facility for testing new instances of PG. Similarly added proof-shell customization group. Removed (what I assume to be) defunct variables proof-post-shell-exit-hook, proof-shell-echo-input. Made deflocal do 'setq-default', not 'setq'. (I consider this a bugfix, but no calls to deflocal use other than nil value anyway, so this bug had no effect.) Added code for displaying splash screen. Attempted fix for proof-issue-new-command when process inactive. Improved functions proof-script-new-command-advance, proof-script-next-command-advance, called from proof-assert-next-command. | |||
| 1998-10-07 | Added detection of less than 16 bit colour depth to display 8bit | David Aspinall | |
| icons. Disabled toolbar for console working. | |||
| 1998-10-07 | Munged name of customization variables so that menus display nicely. | David Aspinall | |
| Added cust group for proof general internals. Added automatic setting of proof-assistant and customize group, via mode function stubs which load the real elisp files. (This also avoids polluting the load-path too much). | |||
| 1998-10-05 | da> BTW, the menus have disappeared! | Thomas Kleymann | |
| They are back courtesy of reintroducing an easy-menu-add call. | |||
| 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 | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |