index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-utils.el
Commit message (
Collapse
)
Author
Age
*
Add pg-internal-warning. Use display-warning for that and proof-debug, if ↵
David Aspinall
2004-08-25
|
|
|
|
available.
*
Add pg-internal-warning
David Aspinall
2004-08-25
|
*
Make proof-clean-buffer work with dead buffers.
David Aspinall
2004-08-24
|
|
|
|
Add x-symbol-version to bug report variables.
*
Add error handler for nesting too deep in proof-fontify region.
David Aspinall
2004-08-10
|
*
Add proof-save-some-buffers
David Aspinall
2004-04-22
|
*
Comments.
David Aspinall
2004-04-17
|
*
Indentation of proof-with-current-buffer-if-exists
David Aspinall
2004-04-13
|
*
Overhaul and fixes for display management.
David Aspinall
2004-04-02
|
*
Fix buglets shown up by byte compilation.
David Aspinall
2004-03-01
|
*
Update email and web addresses
David Aspinall
2004-02-08
|
*
Remove more proofgeneral.org mail aliases
David Aspinall
2004-02-07
|
*
Fix domain name
David Aspinall
2003-12-11
|
*
Comments.
David Aspinall
2003-06-08
|
*
Attempt to prevent recording of buffer switching history (display-buffer ↵
David Aspinall
2003-06-08
|
|
|
|
cannot be stopped, sadly)
*
Tweak to shrink-to-fit
David Aspinall
2003-05-24
|
*
Improved version of shrink-to-fit (still problematic)
David Aspinall
2003-05-23
|
*
Only decode x-symbols if enabled globally for prover.
David Aspinall
2003-03-14
|
*
Make sure selected window never changes
David Aspinall
2003-03-05
|
*
Some fixes/error protection in shrink window
David Aspinall
2003-03-01
|
*
Fix to shrink-windows-tofit
David Aspinall
2003-02-24
|
*
Fix some compile errors
David Aspinall
2003-02-24
|
*
Add pg-custom-reset-vars. Make proofdefintset display current value
David Aspinall
2002-11-20
|
*
Add undefpgcustom
David Aspinall
2002-11-18
|
*
Erase buffer in kill action. Tweak proof-debug arguments.
David Aspinall
2002-11-14
|
*
Save more space/fix display anomolay by leaving point at end of non-whitespace
David Aspinall
2002-09-11
|
*
Attempt to improve window shrinking. Still needs work.
David Aspinall
2002-09-11
|
*
Support for new proof-shrink-windows-tofit option.
David Aspinall
2002-09-11
|
*
Documentation.
David Aspinall
2002-08-31
|
*
Improved implementation of zap-commas font lock behaviour, patch from Stefan ↵
David Aspinall
2002-08-31
|
|
|
|
Monnier
*
Tidy display
David Aspinall
2002-08-30
|
*
Add additional path to proof-locate-executable.
David Aspinall
2002-08-29
|
*
Alternative version of proof-ass macro to support byte-compiled files.
David Aspinall
2002-08-28
|
*
Docstring/CR from stefans patch
David Aspinall
2002-08-28
|
*
Fix bug in pg-remove-specials breaking x-sym display in Isabelle
David Aspinall
2002-08-28
|
*
Oops: has to be error to prevent killing, of course...
David Aspinall
2002-08-26
|
*
Try to prevent associated buffers being killed off by user.
David Aspinall
2002-08-26
|
*
Formatting
David Aspinall
2002-08-16
|
*
Refactoring
David Aspinall
2002-08-15
|
*
Patch for XEmacs 20.4 compat [incomplete?].
David Aspinall
2002-08-12
|
*
Allow favourite saving when user wants.
David Aspinall
2002-08-08
|
*
Rename proof-dont-switch-windows -> proof-three-window-mode
David Aspinall
2002-08-07
|
*
Comments
David Aspinall
2002-07-18
|
*
Fix active variable highlighting in Isabelle with X-Symbol.
David Aspinall
2002-07-18
|
*
Refactor several variable names; clean up, doc subterm markup and output ↵
David Aspinall
2002-07-16
|
|
|
|
display.
*
Use executable-find
David Aspinall
2002-07-01
|
*
GPL
David Aspinall
2002-06-21
|
*
Make hack for XEmacs 21.4 also work for later versions
David Aspinall
2002-06-12
|
*
Fix font lock for E21 (I hope)
David Aspinall
2002-05-03
|
*
Year changes
David Aspinall
2002-03-21
|
*
added hook: proof-before-fontify-output-hook
Christophe Raffalli
2002-03-21
|
[next]