aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* proof-splash-display-image -> proof-get-image; generalise for xpm images.Gravatar David Aspinall2002-08-08
* Added lclam proof site entryGravatar David Aspinall2002-08-08
* Fix docsGravatar David Aspinall2002-08-07
* Fix proof-quick-opts-save. Rename proof-dont-switch-windows -> proof-three-w...Gravatar David Aspinall2002-08-07
* Rename proof-dont-switch-windows -> proof-three-window-modeGravatar David Aspinall2002-08-07
* Default for proof-shell-strip-crs-from-output altered for Norbert Voelker to ...Gravatar David Aspinall2002-08-07
* Set version tag for new release.Gravatar David Aspinall2002-08-07
* Trace buffer opt always enabled. Failed fix attempt for proof-quick-opts-save.Gravatar David Aspinall2002-08-07
* Add proof-shell-strip-crs-from-outputGravatar David Aspinall2002-08-07
* Reorganized menus; add options save function; fix capitalization of namesGravatar David Aspinall2002-08-07
* Add require, fix menu capitalization.Gravatar David Aspinall2002-08-07
* Menu capitalization; support email addr.Gravatar David Aspinall2002-08-07
* CommentsGravatar David Aspinall2002-08-07
* Autoload fixGravatar David Aspinall2002-08-07
* Set version tag for new release.Gravatar David Aspinall2002-07-19
* ReplaceGravatar David Aspinall2002-07-19
* Set version tag for new release.Gravatar David Aspinall2002-07-19
* Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...Gravatar David Aspinall2002-07-19
* Reduce proof-shell-quite-timeoutGravatar David Aspinall2002-07-19
* Move imagep compat code to splashGravatar David Aspinall2002-07-19
* Make favourites mechanism more robust; add delete command.Gravatar David Aspinall2002-07-19
* Trivially simulate events-to-keysGravatar David Aspinall2002-07-19
* Dont call dont-show-annotations for GNU Emacs to avoid nasty bug.Gravatar David Aspinall2002-07-18
* Investigation of proof-zap-commas failure in GNU Emacs; comments, no results.Gravatar David Aspinall2002-07-18
* Fix bug in proof-zap-commas-region (which is anyway faulty)Gravatar David Aspinall2002-07-18
* Remove obsolete functionGravatar David Aspinall2002-07-18
* CommentsGravatar David Aspinall2002-07-18
* Remove completion table adjustment fixed in X-Symol since Jun 01.Gravatar David Aspinall2002-07-18
* Add my name to theseGravatar David Aspinall2002-07-18
* Set version tag for new release.Gravatar David Aspinall2002-07-18
* Fix active variable highlighting in Isabelle with X-Symbol.Gravatar David Aspinall2002-07-18
* Add note about proof-generic-state-preserving-pGravatar David Aspinall2002-07-17
* Set version tag for new release.Gravatar David Aspinall2002-07-17
* Added subterm help popup facilityGravatar David Aspinall2002-07-17
* Add span-string.Gravatar David Aspinall2002-07-17
* Add proof-shell-invisible-cmd-get-resultGravatar David Aspinall2002-07-17
* Add pg-subterm-help-cmdGravatar David Aspinall2002-07-17
* CleanupsGravatar David Aspinall2002-07-17
* Fix span-string, span-objectGravatar David Aspinall2002-07-17
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* Dodgy patch to fix selection ordering of overlays. PBP works in Emacs now.Gravatar David Aspinall2002-07-16
* Set version tag for new release.Gravatar David Aspinall2002-07-16
* Fix commentGravatar David Aspinall2002-07-16
* RefactoringGravatar David Aspinall2002-07-16
* CommentsGravatar David Aspinall2002-07-16
* Add char-to-int and friends, borrowed from x-symbol-emacs.Gravatar David Aspinall2002-07-16
* Cleaning up PBP codeGravatar David Aspinall2002-07-16
* Set version tag for new release.Gravatar David Aspinall2002-07-15
* Set version tag for new release.Gravatar David Aspinall2002-07-14
* TrivialGravatar David Aspinall2002-07-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-25 01:15:55 +0000