aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2002-08-13proof-string-match-safe is even more safeDavid Aspinall
2002-08-12Set version tag for new release.David Aspinall
2002-08-12Abstract more functions from concrete cases.David Aspinall
2002-08-12Patch for XEmacs 20.4 compat [incomplete?].David Aspinall
2002-08-12DocstringDavid Aspinall
2002-08-12NoteDavid Aspinall
2002-08-12Fix for moving span duplicable prob. Still not really workingDavid Aspinall
2002-08-12DocstringDavid Aspinall
2002-08-09Set version tag for new release.David Aspinall
2002-08-09DocDavid Aspinall
2002-08-09Fix proof-disappearing-proofs; commentsDavid Aspinall
2002-08-09Refactor proof-done-advancing by abstracting out new functions; fixes for aut...David Aspinall
2002-08-09Add menu entry for toggling visibilityDavid Aspinall
2002-08-09Add span-property-safeDavid Aspinall
2002-08-08Generalise proof elements to include comments, show/hiding of comments.David Aspinall
2002-08-08Set version tag for new release.David Aspinall
2002-08-08Fix dep highlighting for Emacs 21 by setting priorities.David Aspinall
2002-08-08Enable exper features for pre-releases automatically.David Aspinall
2002-08-08Add span context menu support for Emacs21.David Aspinall
2002-08-08Fix autoload for context menu; add proof-shell-show-dependency-cmd.David Aspinall
2002-08-08Prevent proof spans being duplicated.David Aspinall
2002-08-08DocstringDavid Aspinall
2002-08-08Fix condition for displaying dependency menuDavid Aspinall
2002-08-08Tweak menu; add proof-shell-show-dependency-cmdDavid Aspinall
2002-08-08UpdatedDavid Aspinall
2002-08-08Allow favourite saving when user wants.David Aspinall
2002-08-08Use glyph for hidden proofs; add open isearch props; tweak element handling fns.David Aspinall
2002-08-08proof-splash-display-image -> proof-get-image; generalise for xpm images.David Aspinall
2002-08-08Added lclam proof site entryDavid Aspinall
2002-08-07Fix docsDavid Aspinall
2002-08-07Fix proof-quick-opts-save. Rename proof-dont-switch-windows -> proof-three-w...David Aspinall
2002-08-07Rename proof-dont-switch-windows -> proof-three-window-modeDavid Aspinall
2002-08-07Default for proof-shell-strip-crs-from-output altered for Norbert Voelker to ...David Aspinall
2002-08-07Set version tag for new release.David Aspinall
2002-08-07Trace buffer opt always enabled. Failed fix attempt for proof-quick-opts-save.David Aspinall
2002-08-07Add proof-shell-strip-crs-from-outputDavid Aspinall
2002-08-07Reorganized menus; add options save function; fix capitalization of namesDavid Aspinall
2002-08-07Add require, fix menu capitalization.David Aspinall
2002-08-07Menu capitalization; support email addr.David Aspinall
2002-08-07CommentsDavid Aspinall
2002-08-07Autoload fixDavid Aspinall
2002-07-19Set version tag for new release.David Aspinall
2002-07-19ReplaceDavid Aspinall
2002-07-19Set version tag for new release.David Aspinall
2002-07-19Variable name change proof-comment-{start,end}-regexp -> proof-script-comment...David Aspinall
2002-07-19Reduce proof-shell-quite-timeoutDavid Aspinall
2002-07-19Move imagep compat code to splashDavid Aspinall
2002-07-19Make favourites mechanism more robust; add delete command.David Aspinall
2002-07-19Trivially simulate events-to-keysDavid Aspinall
2002-07-18Dont call dont-show-annotations for GNU Emacs to avoid nasty bug.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:26:17 +0000