aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-goals.el
Commit message (Expand)AuthorAge
* proof-active-area-face: highlighting face for active areaGravatar David Aspinall2007-08-19
* Add support for sending back literal commands reusing PBP markup mechanisms.Gravatar David Aspinall2007-08-14
* Add buffer history browsingGravatar David Aspinall2006-09-24
* Comments.Gravatar David Aspinall2006-09-22
* added first (experimental) support for proof by contextual menu (pg-pbrpm.el)Gravatar Christophe Raffalli2004-10-20
* Fix a few compiler warningsGravatar David Aspinall2004-03-02
* Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.Gravatar David Aspinall2003-02-19
* Fix typo.Gravatar David Aspinall2002-09-11
* Short-circuit goals display if string empty.Gravatar David Aspinall2002-09-11
* Make font-lock-keywords buffer local for sake of Emacs 21.2.Gravatar David Aspinall2002-08-28
* Disable undo history for efficiency.Gravatar David Aspinall2002-08-27
* Try to prevent associated buffers being killed off by user.Gravatar David Aspinall2002-08-26
* Refactoring.Gravatar David Aspinall2002-08-15
* Reorganized menus; add options save function; fix capitalization of namesGravatar David Aspinall2002-08-07
* CommentsGravatar David Aspinall2002-08-07
* Fix active variable highlighting in Isabelle with X-Symbol.Gravatar David Aspinall2002-07-18
* Added subterm help popup facilityGravatar David Aspinall2002-07-17
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* RefactoringGravatar David Aspinall2002-07-16