aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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
their own copy of this file);
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
Added 'controlspan property to proof body spans: action will be controlled from the control span. (The 'goalsave is the parent). Replace 'highlight face with 'proof-mouse-highlight-face throughout.
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 ↵David Aspinall
dependency faces.
2001-08-31new commands (proof terms, code generator);Makarius Wenzel
2001-08-31Remove duplicate entriesDavid Aspinall
2001-08-31Add faces for theorem dependencies.David Aspinall
2001-08-31ExplanationDavid Aspinall
2001-08-31Add DvO to listDavid Aspinall
2001-08-31Add Christophe to listDavid Aspinall
2001-08-31Add auto-compile-vos experimental setting for automatic multiple files.David Aspinall
2001-08-31Remove minibuffer bugDavid Aspinall
2001-08-31Fix for names of functions in proof-dependsDavid Aspinall
2001-08-31Add setting for turning on theorem dependency trackingDavid Aspinall
2001-08-31Update for Isabelle99-2David Aspinall
2001-08-31Clean up of proof-dependsDavid Aspinall
2001-08-31Skip settings which have no PA command in proof-assistant-settings-cmdDavid Aspinall
2001-08-31Add proof-shell-kill-function-hooksDavid Aspinall
2001-08-30include ISABELLE_HOME_USER/etc/isar-keywords.el orMakarius Wenzel
ISABELLE_HOME/etc/isar-keywords.el if available;
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 13:58:37 +0000