aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-08-08Generalise proof elements to include comments, show/hiding of comments.David Aspinall
2002-08-08Authorship, comments.David Aspinall
2002-08-08Updated.David Aspinall
2002-08-08Fix markupDavid Aspinall
2002-08-08Set version tag for new release.David Aspinall
2002-08-08DocDavid Aspinall
2002-08-08Simplify theorem dep / Isabelle patch loadingDavid Aspinall
2002-08-08bugs file ignoredDavid Aspinall
2002-08-08Fix dep highlighting for Emacs 21 by setting priorities.David Aspinall
2002-08-08More docs for deps.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-08New files.David Aspinall
2002-08-08Updated.David Aspinall
2002-08-08Typos/fixes.David Aspinall
2002-08-08Remove proof-shared-menu.David Aspinall
2002-08-08UpdatesDavid 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-08Set proof-shell-show-dependency-cmdDavid Aspinall
2002-08-08Updated for Isabelle2002.David 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-08Fix email addresses; tweaks.David Aspinall
2002-08-08New files.David Aspinall
2002-08-08Allow favourite saving when user wants.David Aspinall
2002-08-08Deleted fileDavid Aspinall
2002-08-08Trivial.David Aspinall
2002-08-08Use glyph for hidden proofs; add open isearch props; tweak element handling fns.David Aspinall
2002-08-08Add lclamDavid Aspinall
2002-08-08New files.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-07Doc proof-shell-strip-crs-from-output; update magicDavid Aspinall
2002-08-07Updated.David Aspinall
2002-08-07Rename proof-dont-switch-windows -> proof-three-window-modeDavid 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-07Added proof-shell-strip-crs-from-outputDavid 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-07New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-21 00:02:02 +0000