aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-utils.el
Commit message (Expand)AuthorAge
* Fix string quotingGravatar David Aspinall2007-12-10
* Fix to proof-defintset-fn so that correct current value is displayed.Gravatar David Aspinall2007-08-19
* Note trac generic user pgemacs/pgemacsGravatar David Aspinall2007-05-10
* pg-remove-specials: avoid interactive replace-regexp, which gives minibuffer ...Gravatar David Aspinall2007-05-10
* Experimenting smarter window creation when in three windowsGravatar Pierre Courtieu2007-04-27
* Fix links to BUGS and FAQGravatar David Aspinall2007-03-19
* Use replace-regexp instead of proof-replace-regexp to clean charsGravatar David Aspinall2007-03-03
* Tweaks to buffer history mode. Still intermediate version.Gravatar David Aspinall2006-09-24
* Add buffer history browsingGravatar David Aspinall2006-09-24
* moved pg-special-char-regexp to proof-config.el;Gravatar Makarius Wenzel2005-09-01
* - Don't just reuse visible frames but also iconified ones.Gravatar David Aspinall2005-05-17
* Mention to check FAQ tooGravatar David Aspinall2005-01-07
* Bug fix suggested by Jonathan S. ShapiroGravatar David Aspinall2004-10-05
* Fix bug in proof-debug for GNU EmacsGravatar David Aspinall2004-09-21
* Add pg-internal-warning. Use display-warning for that and proof-debug, if av...Gravatar David Aspinall2004-08-25
* Add pg-internal-warningGravatar David Aspinall2004-08-25
* Make proof-clean-buffer work with dead buffers.Gravatar David Aspinall2004-08-24
* Add error handler for nesting too deep in proof-fontify region.Gravatar David Aspinall2004-08-10
* Add proof-save-some-buffersGravatar David Aspinall2004-04-22
* Comments.Gravatar David Aspinall2004-04-17
* Indentation of proof-with-current-buffer-if-existsGravatar David Aspinall2004-04-13
* Overhaul and fixes for display management.Gravatar David Aspinall2004-04-02
* Fix buglets shown up by byte compilation.Gravatar David Aspinall2004-03-01
* Update email and web addressesGravatar David Aspinall2004-02-08
* Remove more proofgeneral.org mail aliasesGravatar David Aspinall2004-02-07
* Fix domain nameGravatar David Aspinall2003-12-11
* Comments.Gravatar David Aspinall2003-06-08
* Attempt to prevent recording of buffer switching history (display-buffer cann...Gravatar David Aspinall2003-06-08
* Tweak to shrink-to-fitGravatar David Aspinall2003-05-24
* Improved version of shrink-to-fit (still problematic)Gravatar David Aspinall2003-05-23
* Only decode x-symbols if enabled globally for prover.Gravatar David Aspinall2003-03-14
* Make sure selected window never changesGravatar David Aspinall2003-03-05
* Some fixes/error protection in shrink windowGravatar David Aspinall2003-03-01
* Fix to shrink-windows-tofitGravatar David Aspinall2003-02-24
* Fix some compile errorsGravatar David Aspinall2003-02-24
* Add pg-custom-reset-vars. Make proofdefintset display current valueGravatar David Aspinall2002-11-20
* Add undefpgcustomGravatar David Aspinall2002-11-18
* Erase buffer in kill action. Tweak proof-debug arguments.Gravatar David Aspinall2002-11-14
* Save more space/fix display anomolay by leaving point at end of non-whitespaceGravatar David Aspinall2002-09-11
* Attempt to improve window shrinking. Still needs work.Gravatar David Aspinall2002-09-11
* Support for new proof-shrink-windows-tofit option.Gravatar David Aspinall2002-09-11
* Documentation.Gravatar David Aspinall2002-08-31
* Improved implementation of zap-commas font lock behaviour, patch from Stefan ...Gravatar David Aspinall2002-08-31
* Tidy displayGravatar David Aspinall2002-08-30
* Add additional path to proof-locate-executable.Gravatar David Aspinall2002-08-29
* Alternative version of proof-ass macro to support byte-compiled files.Gravatar David Aspinall2002-08-28
* Docstring/CR from stefans patchGravatar David Aspinall2002-08-28
* Fix bug in pg-remove-specials breaking x-sym display in IsabelleGravatar David Aspinall2002-08-28
* Oops: has to be error to prevent killing, of course...Gravatar David Aspinall2002-08-26
* Try to prevent associated buffers being killed off by user.Gravatar David Aspinall2002-08-26
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-20 01:41:22 +0000