aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* Add reassurance to interrupt warning to make Markus happier.Gravatar David Aspinall2001-08-30
* Note about XEmacs 21 and x-symbolGravatar David Aspinall2001-08-30
* Set proof-shell-pre-interrupt-hook for PolyML (not just PolyML 3).Gravatar David Aspinall2001-08-30
* More about invisible proofs and multiple files in Coq. X-symbol compatGravatar David Aspinall2001-08-30
* Updates for recent version of X-symbol, which has no file called x-symbol-aut...Gravatar David Aspinall2001-08-30
* Add :eval form for defpacustom to define PA-specific PG settings as well as P...Gravatar David Aspinall2001-08-30
* Add variable proof-previous-script-bufferGravatar David Aspinall2001-08-30
* fixes for FSF Emacs for searching for goal span (don't call goal-command-p on...Gravatar David Aspinall2001-08-30
* Added implementation of remassq for FSF EmacsGravatar David Aspinall2001-08-30
* pg-insert-last-output-as-comment strips special annotations from last output ...Gravatar David Aspinall2001-08-30
* Fix web page for kitGravatar David Aspinall2001-08-28
* added something in the doc about coq-version-is-V7.Gravatar Pierre Courtieu2001-08-28
* Added something in the doc about coq-version-is-V7, and made the setting ofGravatar Pierre Courtieu2001-08-28
* Updated.Gravatar David Aspinall2001-08-28
* Set version tag for new release.Gravatar David Aspinall2001-08-28
* Change of proof span type back to goalsave fixGravatar David Aspinall2001-08-28
* Change of proof span type back to goalsaveGravatar David Aspinall2001-08-28
* Remove dependent setting of timeout, since bin calls different fn now.Gravatar David Aspinall2001-08-28
* Call function which always waits to prevent odd mode selection bug.Gravatar David Aspinall2001-08-28
* TrivialGravatar David Aspinall2001-08-28
* Remove mention of toolbar variable. Make timeouts vary according to how star...Gravatar David Aspinall2001-08-28
* Timeout happens as intended now, while loading some parts of PG.Gravatar David Aspinall2001-08-28
* Improve stylesheet syntax, make menubar smallerGravatar David Aspinall2001-08-28
* Updated.Gravatar David Aspinall2001-08-17
* Updated.Gravatar David Aspinall2001-08-17
* Set version tag for new release.Gravatar David Aspinall2001-08-17
* Trim visibility implementation:Gravatar David Aspinall2001-08-17
* Add span-delete-action hookGravatar David Aspinall2001-08-17
* Minibuffer contents bug fixGravatar David Aspinall2001-08-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 19:57:47 +0000