aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-goals.el
Commit message (Expand)AuthorAge
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-02 02:40:03 +0000