aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-utils.el
AgeCommit message (Collapse)Author
2007-12-10Fix string quotingDavid Aspinall
2007-08-19Fix to proof-defintset-fn so that correct current value is displayed.David Aspinall
2007-05-10Note trac generic user pgemacs/pgemacsDavid Aspinall
2007-05-10pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ↵David Aspinall
messages.
2007-04-27Experimenting smarter window creation when in three windowsPierre Courtieu
mode. Strategy is: always try to split an associated buffer window.
2007-03-19Fix links to BUGS and FAQDavid Aspinall
2007-03-03Use replace-regexp instead of proof-replace-regexp to clean charsDavid Aspinall
2006-09-24Tweaks to buffer history mode. Still intermediate version.David Aspinall
2006-09-24Add buffer history browsingDavid Aspinall
2005-09-01moved pg-special-char-regexp to proof-config.el;Makarius Wenzel
added pg-remove-specials-in-string;
2005-05-17- Don't just reuse visible frames but also iconified ones.David Aspinall
- When proof-three-window-enable is nil, don't mark a dedicated window as non-dedicated. - Don't make the window-size-fixed. It's a real pain in the rear.
2005-01-07Mention to check FAQ tooDavid Aspinall
2004-10-05Bug fix suggested by Jonathan S. ShapiroDavid Aspinall
2004-09-21Fix bug in proof-debug for GNU EmacsDavid Aspinall
2004-08-25Add pg-internal-warning. Use display-warning for that and proof-debug, if ↵David Aspinall
available.
2004-08-25Add pg-internal-warningDavid Aspinall
2004-08-24Make proof-clean-buffer work with dead buffers.David Aspinall
Add x-symbol-version to bug report variables.
2004-08-10Add error handler for nesting too deep in proof-fontify region.David Aspinall
2004-04-22Add proof-save-some-buffersDavid Aspinall
2004-04-17Comments.David Aspinall
2004-04-13Indentation of proof-with-current-buffer-if-existsDavid Aspinall
2004-04-02Overhaul and fixes for display management.David Aspinall
2004-03-01Fix buglets shown up by byte compilation.David Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2004-02-07Remove more proofgeneral.org mail aliasesDavid Aspinall
2003-12-11Fix domain nameDavid Aspinall
2003-06-08Comments.David Aspinall
2003-06-08Attempt to prevent recording of buffer switching history (display-buffer ↵David Aspinall
cannot be stopped, sadly)
2003-05-24Tweak to shrink-to-fitDavid Aspinall
2003-05-23Improved version of shrink-to-fit (still problematic)David Aspinall
2003-03-14Only decode x-symbols if enabled globally for prover.David Aspinall
2003-03-05Make sure selected window never changesDavid Aspinall
2003-03-01Some fixes/error protection in shrink windowDavid Aspinall
2003-02-24Fix to shrink-windows-tofitDavid Aspinall
2003-02-24Fix some compile errorsDavid Aspinall
2002-11-20Add pg-custom-reset-vars. Make proofdefintset display current valueDavid Aspinall
2002-11-18Add undefpgcustomDavid Aspinall
2002-11-14Erase buffer in kill action. Tweak proof-debug arguments.David Aspinall
2002-09-11Save more space/fix display anomolay by leaving point at end of non-whitespaceDavid Aspinall
2002-09-11Attempt to improve window shrinking. Still needs work.David Aspinall
2002-09-11Support for new proof-shrink-windows-tofit option.David Aspinall
2002-08-31Documentation.David Aspinall
2002-08-31Improved implementation of zap-commas font lock behaviour, patch from Stefan ↵David Aspinall
Monnier
2002-08-30Tidy displayDavid Aspinall
2002-08-29Add additional path to proof-locate-executable.David Aspinall
2002-08-28Alternative version of proof-ass macro to support byte-compiled files.David Aspinall
2002-08-28Docstring/CR from stefans patchDavid Aspinall
2002-08-28Fix bug in pg-remove-specials breaking x-sym display in IsabelleDavid Aspinall
2002-08-26Oops: has to be error to prevent killing, of course...David Aspinall
2002-08-26Try to prevent associated buffers being killed off by user.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-23 23:55:19 +0000