aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-utils.el
Commit message (Expand)AuthorAge
* Add proof state hover messages to proof script, along with useful customization.Gravatar David Aspinall2009-05-26
* Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...Gravatar David Aspinall2009-05-26
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* comment: proof-compat not needed for pg-defface-window-systems (but leave in ...Gravatar David Aspinall2008-01-31
* Move version check in case proof-site.el is loaded, not proof-site.elcGravatar David Aspinall2008-01-31
* Support decoding of unicode tokens in outputGravatar David Aspinall2008-01-28
* proof-fontify-region: set font-lock-verbose to nil to prevent ugly glitchesGravatar David Aspinall2008-01-25
* Commentary: move compile notes to etc/development-tips.txtGravatar David Aspinall2008-01-25
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Comments.Gravatar David Aspinall2008-01-16
* Simplify font lock settings, removing proof-font-lock-case-fold-searchGravatar David Aspinall2008-01-15
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* Move x-symbol-language to avoid eval of proof-assistant-symbol; move proof-fa...Gravatar David Aspinall2007-12-14
* Move proof-face-specs here, remove proof-list-filterGravatar David Aspinall2007-12-14
* Rename: proof-show-debug-messages -> proof-general-debug. Optimise pg-remove...Gravatar David Aspinall2007-12-14
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 01:45:43 +0000