aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-utils.el
AgeCommit message (Expand)Author
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 cann...David Aspinall
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
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
2002-08-16FormattingDavid Aspinall
2002-08-15RefactoringDavid Aspinall
2002-08-12Patch for XEmacs 20.4 compat [incomplete?].David Aspinall
2002-08-08Allow favourite saving when user wants.David Aspinall
2002-08-07Rename proof-dont-switch-windows -> proof-three-window-modeDavid Aspinall
2002-07-18CommentsDavid Aspinall
2002-07-18Fix active variable highlighting in Isabelle with X-Symbol.David Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-07-01Use executable-findDavid Aspinall
2002-06-21GPLDavid Aspinall
2002-06-12Make hack for XEmacs 21.4 also work for later versionsDavid Aspinall
2002-05-03Fix font lock for E21 (I hope)David Aspinall
2002-03-21Year changesDavid Aspinall
2002-03-21added hook: proof-before-fontify-output-hookChristophe Raffalli
2002-02-23Updates to font-lock handling in proof-fontify-region, proof-font-lock-clear-...David Aspinall
2002-01-15windows-of-buffer -> get-buffer-window-list GNU nameDavid Aspinall
2001-12-11Protect XEmacs only codeDavid Aspinall
2001-12-11Rework font-lock variable munging to work in GNU Emacs 21 also.David Aspinall
2001-12-10Add handling of proof-trace-buffer.David Aspinall
2001-12-10Dont return a fontified string in proof-response-buffer-display.David Aspinall
2001-08-17Fix bug in proof-display-and-keep-buffer which had resulted in switching mini...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-08 02:02:30 +0000