aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Updating branchGravatar David Aspinall2001-09-03
* Note of what to doGravatar David Aspinall2001-09-03
* FormattingGravatar David Aspinall2001-09-03
* Mention hiding proofs.Gravatar David Aspinall2001-09-03
* Add specific READMEs.Gravatar David Aspinall2001-09-03
* Note of secure alt to no passwordGravatar David Aspinall2001-09-03
* Ready for releaseGravatar David Aspinall2001-09-03
* Update for 3.3Gravatar David Aspinall2001-09-03
* Add specific install instrs, rearrange.Gravatar David Aspinall2001-09-03
* Move specific install instructions into subdirsGravatar David Aspinall2001-09-03
* Add settings for testing trace buffers.Gravatar David Aspinall2001-09-03
* Note about tracing buffers for developersGravatar David Aspinall2001-09-03
* Added handling of tracing buffers using proof-shell-spill-output-regexp.Gravatar David Aspinall2001-09-03
* Added proof-shell-spill-output-regexpGravatar David Aspinall2001-09-03
* Updated.Gravatar David Aspinall2001-09-02
* Set version tag for new release.Gravatar David Aspinall2001-09-02
* handle relative heap paths gracefully;Gravatar Makarius Wenzel2001-08-31
* back to *official* Isabelle99-2 (later Isabelle dists will provideGravatar Makarius Wenzel2001-08-31
* Improved explanationGravatar David Aspinall2001-08-31
* Something about dependencies featureGravatar David Aspinall2001-08-31
* Added note about dependency feature.Gravatar David Aspinall2001-08-31
* (Almost) complete rewriteGravatar David Aspinall2001-08-31
* UpdatedGravatar David Aspinall2001-08-31
* Move theorem dependency code into proof-depends.el.Gravatar David Aspinall2001-08-31
* Added copy command, call to dependency menu if proof-depends is loaded.Gravatar David Aspinall2001-08-31
* Add simulations of more qed commands, also sort and uniquify dependencies.Gravatar David Aspinall2001-08-31
* Add new proof-mouse-highlight-face to use instead of default. Fix dependency...Gravatar David Aspinall2001-08-31
* new commands (proof terms, code generator);Gravatar Makarius Wenzel2001-08-31
* Remove duplicate entriesGravatar David Aspinall2001-08-31
* Add faces for theorem dependencies.Gravatar David Aspinall2001-08-31
* ExplanationGravatar David Aspinall2001-08-31
* Add DvO to listGravatar David Aspinall2001-08-31
* Add Christophe to listGravatar David Aspinall2001-08-31
* Add auto-compile-vos experimental setting for automatic multiple files.Gravatar David Aspinall2001-08-31
* Remove minibuffer bugGravatar David Aspinall2001-08-31
* Fix for names of functions in proof-dependsGravatar David Aspinall2001-08-31
* Add setting for turning on theorem dependency trackingGravatar David Aspinall2001-08-31
* Update for Isabelle99-2Gravatar David Aspinall2001-08-31
* Clean up of proof-dependsGravatar David Aspinall2001-08-31
* Skip settings which have no PA command in proof-assistant-settings-cmdGravatar David Aspinall2001-08-31
* Add proof-shell-kill-function-hooksGravatar David Aspinall2001-08-31
* include ISABELLE_HOME_USER/etc/isar-keywords.el orGravatar Makarius Wenzel2001-08-30
* updated;Gravatar Makarius Wenzel2001-08-30
* pg-add-proof-element: removed accidential (?) dynamic scoping onGravatar Makarius Wenzel2001-08-30
* added proof-script-integral-proofs ("Whether the complete text after aGravatar Makarius Wenzel2001-08-30
* proof-script-integral-proofs t;Gravatar Makarius Wenzel2001-08-30
* Updated.Gravatar David Aspinall2001-08-30
* Clarify 6.3.1 for multi fileGravatar David Aspinall2001-08-30
* Fix interrupt hook for PolyML 4 in recent IsabelleGravatar David Aspinall2001-08-30
* Set version tag for new release.Gravatar David Aspinall2001-08-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 10:24:45 +0000