aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-08-09Doc comments also under vis controlDavid Aspinall
2002-08-09Updated.David Aspinall
2002-08-09New files.David 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-09Updated.David Aspinall
2002-08-09More commentsDavid Aspinall
2002-08-09New files.David Aspinall
2002-08-09Deleted fileDavid Aspinall
2002-08-08Updated.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 17:15:14 +0000