aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-goals.el
AgeCommit message (Expand)Author
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-02-26 23:59:00 +0000