aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* UpdatedGravatar David Aspinall2000-09-12
* Add sanity check on important settings for proof shell (underway)Gravatar David Aspinall2000-09-12
* Added entry for Af2Gravatar David Aspinall2000-09-12
* Docs for proof-shell-eager-annotation-start stuffGravatar David Aspinall2000-09-12
* New version sent by Christophe.Gravatar David Aspinall2000-09-12
* proof-shell-pre-interrupt-hook for PolyML 3 only;Gravatar Makarius Wenzel2000-09-11
* Set version tag for new release.Gravatar David Aspinall2000-09-11
* New prover, first bash.Gravatar David Aspinall2000-09-11
* Added proof-shell-annotated-prompt-regexp to important settings, removed safe...Gravatar David Aspinall2000-09-11
* Customize always available if PG isGravatar David Aspinall2000-09-08
* UpdatedGravatar David Aspinall2000-09-08
* Changes for selecting object logic, locating executables.Gravatar David Aspinall2000-09-08
* ADded proof-locate-executable.Gravatar David Aspinall2000-09-08
* Fix obscure problem with proof-segment-upto-cmdstart with buggy input.Gravatar David Aspinall2000-09-08
* RearrangementGravatar David Aspinall2000-09-08
* removed "of", "congs";Gravatar Makarius Wenzel2000-09-07
* removed unused variable C;Gravatar Makarius Wenzel2000-09-03
* more quoting;Gravatar Makarius Wenzel2000-09-02
* use isar-markup-ml;Gravatar Makarius Wenzel2000-08-30
* syntax: "?" made word char;Gravatar Makarius Wenzel2000-08-29
* Set version tag for new release.Gravatar David Aspinall2000-08-29
* TweakGravatar David Aspinall2000-08-29
* Example file grabbed from twelf distribGravatar David Aspinall2000-08-29
* A little bit of progress.Gravatar David Aspinall2000-08-29
* Added proof-shell-auto-terminate-commandsGravatar David Aspinall2000-08-29
* Set version tag for new release.Gravatar David Aspinall2000-08-28
* adapting manual needs intro fixingGravatar David Aspinall2000-08-28
* Fix description of manual now broken into twoGravatar David Aspinall2000-08-28
* Updated magicGravatar David Aspinall2000-08-28
* Fix recursive makeGravatar David Aspinall2000-08-28
* Note about CVSROOT setting.Gravatar David Aspinall2000-08-28
* BranchGravatar David Aspinall2000-08-28
* Remove Library.timings call, restore compatibility with I99.Gravatar David Aspinall2000-08-28
* BranchGravatar David Aspinall2000-08-28
* Files for twelf, not working at all yet.Gravatar David Aspinall2000-08-28
* UpdatedGravatar David Aspinall2000-08-28
* Added a couple of todosGravatar David Aspinall2000-08-28
* Change name of mode: isar-proofscript-mode -> isar-mode and removeGravatar David Aspinall2000-08-28
* Missing full stopGravatar David Aspinall2000-08-28
* Test file for proof-shell-set-elisp-variable-regexpGravatar David Aspinall2000-08-28
* Added setting for proof-shell-set-elisp-variable-regexpGravatar David Aspinall2000-08-28
* Added proof-shell-set-elisp-variable-regexpGravatar David Aspinall2000-08-28
* Added twelf and experimental support note.Gravatar David Aspinall2000-08-28
* FIXME note added, missing docstring from macro fn def.Gravatar David Aspinall2000-08-28
* News updatedGravatar David Aspinall2000-08-28
* Link to two manuals now.Gravatar David Aspinall2000-08-28
* Split manual into two parts.Gravatar David Aspinall2000-08-28
* cd command: add_path;Gravatar Makarius Wenzel2000-08-28
* conditional load of proof-site.el;Gravatar Makarius Wenzel2000-08-28
* -w false implies -x false;Gravatar Makarius Wenzel2000-08-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 02:22:24 +0000