aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2002-08-15Play with markup.David Aspinall
2002-08-13proof-string-match-safe is even more safeDavid Aspinall
2002-08-13Dont force isatool to be foundDavid Aspinall
2002-08-12Updated.David Aspinall
2002-08-12Updated.David Aspinall
2002-08-12Set version tag for new release.David Aspinall
2002-08-12Tweak Pierres docsDavid Aspinall
2002-08-12Tweak Pierres docsDavid Aspinall
2002-08-12Note about exper bugsDavid 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-12Update magicDavid Aspinall
2002-08-12Document experimental features; update other descriptions.David Aspinall
2002-08-12DocstringDavid Aspinall
2002-08-12New files.David Aspinall
2002-08-12Renamed fileDavid Aspinall
2002-08-12Remove comment at the end testing feature. See etc/isar/Parsing.thy instead.David Aspinall
2002-08-12Describe variable highlightingDavid Aspinall
2002-08-12Enable variable highlighting in case experimental features enabled.David Aspinall
2002-08-12UpdatedDavid Aspinall
2002-08-09Updated.David Aspinall
2002-08-09Updated.David Aspinall
2002-08-09Set version tag for new release.David Aspinall
2002-08-09DocDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:51:54 +0000