aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2001-09-03UpdatedDavid Aspinall
2001-09-03Accidental commit; revert to original.David Aspinall
2001-09-03Set proof-goal-with-hole-regexpDavid Aspinall
2001-09-03Change colour of locked region.David Aspinall
2001-09-03Fix bracket bug.David Aspinall
2001-09-03Show/hide all proofs: add redisplay for FSFDavid Aspinall
2001-09-03Use pg-set-span-helphightlights for unhighlighting.David Aspinall
2001-09-03Generalise context menu for other spans; grey out show/hide when unavailable.David Aspinall
2001-09-03Join parasDavid Aspinall
2001-09-03Updated.David Aspinall
2001-09-03TextDavid Aspinall
2001-09-03Fix link to screenshotDavid Aspinall
2001-09-03Improve layoutDavid Aspinall
2001-09-03Update version numbers, time stamps.David Aspinall
2001-09-03Typo. Update Emacs version to 20.7.David Aspinall
2001-09-03Updated.David Aspinall
2001-09-03Update branchDavid Aspinall
2001-09-03PHP fileDavid Aspinall
2001-09-03Renamed fileDavid Aspinall
2001-09-03Set version tag for new release.David Aspinall
2001-09-03Please try devel versionDavid Aspinall
2001-09-03Accidental update; revert to previousDavid Aspinall
2001-09-03RearrangeDavid Aspinall
2001-09-03Updating branchDavid Aspinall
2001-09-03Note of what to doDavid Aspinall
2001-09-03FormattingDavid Aspinall
2001-09-03Mention hiding proofs.David Aspinall
2001-09-03Add specific READMEs.David Aspinall
2001-09-03Note of secure alt to no passwordDavid Aspinall
2001-09-03Ready for releaseDavid Aspinall
2001-09-03Update for 3.3David Aspinall
2001-09-03Add specific install instrs, rearrange.David Aspinall
2001-09-03Move specific install instructions into subdirsDavid Aspinall
2001-09-03Add settings for testing trace buffers.David Aspinall
2001-09-03Note about tracing buffers for developersDavid Aspinall
2001-09-03Added handling of tracing buffers using proof-shell-spill-output-regexp.David Aspinall
2001-09-03Added proof-shell-spill-output-regexpDavid Aspinall
2001-09-02Updated.David Aspinall
2001-09-02Set version tag for new release.David Aspinall
2001-08-31handle relative heap paths gracefully;Makarius Wenzel
2001-08-31back to *official* Isabelle99-2 (later Isabelle dists will provideMakarius Wenzel
2001-08-31Improved explanationDavid Aspinall
2001-08-31Something about dependencies featureDavid Aspinall
2001-08-31Added note about dependency feature.David Aspinall
2001-08-31(Almost) complete rewriteDavid Aspinall
2001-08-31UpdatedDavid Aspinall
2001-08-31Move theorem dependency code into proof-depends.el.David Aspinall
2001-08-31Added copy command, call to dependency menu if proof-depends is loaded.David Aspinall
2001-08-31Add simulations of more qed commands, also sort and uniquify dependencies.David Aspinall
2001-08-31Add new proof-mouse-highlight-face to use instead of default. Fix dependency...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 03:15:29 +0000