aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-goals.el
AgeCommit message (Expand)Author
2009-09-10Clean compileDavid Aspinall
2009-09-06Bufhist erase when buffer writable.David Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-05-26Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...David Aspinall
2009-05-26Revive sendback behaviour (using button1)David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-05Revert cursor hide in goals and response to avoid user confusion; use bar cur...David Aspinall
2008-01-31Sendback commands from response buffer sent via assert-until-point, with ordi...David Aspinall
2008-01-16Compilation tweaksDavid Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
2007-12-14Use proof-shell-unicode to control whether bytes 128-255 are stripped from ou...David Aspinall
2007-08-19proof-active-area-face: highlighting face for active areaDavid Aspinall
2007-08-14Add support for sending back literal commands reusing PBP markup mechanisms.David Aspinall
2006-09-24Add buffer history browsingDavid Aspinall
2006-09-22Comments.David Aspinall
2004-10-20added first (experimental) support for proof by contextual menu (pg-pbrpm.el)Christophe Raffalli
2004-03-02Fix a few compiler warningsDavid Aspinall
2003-02-19Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.David Aspinall
2002-09-11Fix typo.David Aspinall
2002-09-11Short-circuit goals display if string empty.David Aspinall
2002-08-28Make font-lock-keywords buffer local for sake of Emacs 21.2.David Aspinall
2002-08-27Disable undo history for efficiency.David Aspinall
2002-08-26Try to prevent associated buffers being killed off by user.David Aspinall
2002-08-15Refactoring.David Aspinall
2002-08-07Reorganized menus; add options save function; fix capitalization of namesDavid Aspinall
2002-08-07CommentsDavid Aspinall
2002-07-18Fix active variable highlighting in Isabelle with X-Symbol.David Aspinall
2002-07-17Added subterm help popup facilityDavid Aspinall
2002-07-16Refactor several variable names; clean up, doc subterm markup and output disp...David Aspinall
2002-07-16RefactoringDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 02:35:27 +0000