aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
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
2001-08-30updated;Makarius Wenzel
2001-08-30pg-add-proof-element: removed accidential (?) dynamic scoping onMakarius Wenzel
2001-08-30added proof-script-integral-proofs ("Whether the complete text after aMakarius Wenzel
2001-08-30proof-script-integral-proofs t;Makarius Wenzel
2001-08-30Updated.David Aspinall
2001-08-30Clarify 6.3.1 for multi fileDavid Aspinall
2001-08-30Fix interrupt hook for PolyML 4 in recent IsabelleDavid Aspinall
2001-08-30Set version tag for new release.David Aspinall
2001-08-30Add reassurance to interrupt warning to make Markus happier.David Aspinall
2001-08-30Note about XEmacs 21 and x-symbolDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 04:00:39 +0000