| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 1999-11-17 | Fix typo | David Aspinall | |
| 1999-11-17 | Updated | David Aspinall | |
| 1999-11-17 | Fix for FSF compatibility | David Aspinall | |
| 1999-11-17 | Comments | David Aspinall | |
| 1999-11-17 | Fix bug | David Aspinall | |
| 1999-11-17 | Fix FSF prob. | David Aspinall | |
| 1999-11-17 | Comment | David Aspinall | |
| 1999-11-17 | Add *.xemacs targets | David Aspinall | |
| 1999-11-17 | Remove some obsolete/unecessary stuff. | David Aspinall | |
| 1999-11-17 | Comment out some obsolete/unecessary stuff. Add X-Symbol support | David Aspinall | |
| 1999-11-17 | Fix a few bugs/probs shown up by byte-compiling. | David Aspinall | |
| 1999-11-17 | Add Function Menu to menu. Fix a few bugs/probs shown up by byte-compiling. | David Aspinall | |
| 1999-11-17 | Fix several bugs caused by interface changes. | David Aspinall | |
| 1999-11-17 | Support for X-Symbol | David Aspinall | |
| 1999-11-17 | New file for XEmacs package building (unfinished) | David Aspinall | |
| 1999-11-17 | Updated | David Aspinall | |
| 1999-11-16 | todo for shell exiting | David Aspinall | |
| 1999-11-16 | Strip CRs from minibuf messages for FSF's sake to remove ^Js. Attempt to ↵ | David Aspinall | |
| fix 'no-catch for exited tag' buglet. | |||
| 1999-11-16 | Not strictly necessary to set proof-goal-command-regexp | David Aspinall | |
| 1999-11-16 | Updated | David Aspinall | |
| 1999-11-16 | Cleanups and a bit more highlighting | David Aspinall | |
| 1999-11-16 | Second version of easy-config, without defvaralias use. | David Aspinall | |
| 1999-11-16 | Fix type of proof-completed-proof-behaviour. | David Aspinall | |
| 1999-11-16 | Working version of easy-config. | David Aspinall | |
| 1999-11-16 | Turn debug messages off by default. | David Aspinall | |
| 1999-11-16 | Added proof-mouse-goto-point, moved proof-mouse-track-insert to proof-script | David Aspinall | |
| 1999-11-16 | Set version tag for new release. | David Aspinall | |
| 1999-11-16 | Fix for proof-minibuffer-cmd. Remove old keybindings. | David Aspinall | |
| 1999-11-16 | Updates | David Aspinall | |
| 1999-11-16 | Matching goals regexp. Comments. | David Aspinall | |
| 1999-11-16 | Use auto multiple files until something better comes along | David Aspinall | |
| 1999-11-16 | Updated | David Aspinall | |
| 1999-11-16 | Note about how to use demoisa and isar instances. Other comments | David Aspinall | |
| 1999-11-16 | Added proof-string-match-safe and proof-stringfn-match (also safe) | David Aspinall | |
| 1999-11-16 | Preliminary, not for 3.0. | David Aspinall | |
| 1999-11-16 | Fix for retraction order with auto-multiple-files. | David Aspinall | |
| Let proof-undo-and-delete-last-successful-command work from other buffers. Made kill buffer function more robust. New! Added generic defaults for count-undos, goal-command-p, state-preserving-p. Used in demoisa instance for now, others to use later. Added checks that important configuration variables are set, and set defaults for some others. | |||
| 1999-11-16 | Docstrings, bug report msg. Added proof-warn-if-unset. | David Aspinall | |
| 1999-11-16 | Fix to shell filter for non-wakeup char instances of PG. | David Aspinall | |
| Fix to proof-shell-insert-loopback-cmd for pbp. Don't call pbp-make-top-span if proof-goal-hyp-fn is unset. Remove extra newline in goals output. Removed some dead code. Made code robust against more settings being unset. Added menu to goals buffer. Set key "q" in response and goals buffers to bury-buffer. Quit timeout variable. | |||
| 1999-11-16 | Fully working Isabelle PG in 30 setqs | David Aspinall | |
| 1999-11-16 | New settings for generic count-undos code: | David Aspinall | |
| proof-non-undoables-regexp, proof-ignore-for-undo-count, Added proof-shell-quit-timeout Deprecate brand new setting proof-goals-display-qed-message. Improved docstrings, changed some defaults to useful values. | |||
| 1999-11-16 | Test files for automatic multiple files. | David Aspinall | |
| 1999-11-16 | Spruced up features list | David Aspinall | |
| 1999-11-15 | Splash time=2, trying to unify FSF and XEmacs. | David Aspinall | |
| 1999-11-15 | Updated | David Aspinall | |
| 1999-11-15 | docstring | David Aspinall | |
| 1999-11-15 | Repaired FSF font-locking. Define toggler for output hilite enable. | David Aspinall | |
| 1999-11-15 | Fixed mistake in function names. Tidied menus a bit | David Aspinall | |
| 1999-11-15 | Fixes for FSF overlay obscurity. | David Aspinall | |
| 1999-11-15 | Remove xi, appears in exists. | David Aspinall | |
| 1999-11-15 | Set version tag for new release. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |