aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Reduced sizes of images.Gravatar David Aspinall2000-09-13
* Revamp style a bit -- not so good with netscape but OK elsewhere.Gravatar David Aspinall2000-09-13
* Remove keystroke index, add appendix with demoisa code (directly included)Gravatar David Aspinall2000-09-13
* Docstring changes for printed docs.Gravatar David Aspinall2000-09-13
* Add sections to chapter 2, and text on adjusting toolbar. Update magicGravatar David Aspinall2000-09-13
* Add removal of state button as test example. Replace af2-with-xemacs -> proof...Gravatar David Aspinall2000-09-13
* Add trivial test command.Gravatar David Aspinall2000-09-13
* Order changeGravatar David Aspinall2000-09-13
* Removed proof-toolbar-entries-default and <PA>-toolbar-entries.Gravatar David Aspinall2000-09-13
* Minor improvementsGravatar David Aspinall2000-09-13
* Remove ambitious promise to implement proper generic-find-and-forget.Gravatar David Aspinall2000-09-13
* Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to p...Gravatar David Aspinall2000-09-13
* Make ordinary dist before develdist, because dist clears build dir... whoops.Gravatar David Aspinall2000-09-12
* Notes about using cvs remotely added.Gravatar David Aspinall2000-09-12
* Set version tag for new release.Gravatar David Aspinall2000-09-12
* Updated magic.Gravatar David Aspinall2000-09-12
* Add provide sym-lock to fix sym lock loading problemGravatar David Aspinall2000-09-12
* More details about parsing functions. Improved introGravatar David Aspinall2000-09-12
* Update date.Gravatar David Aspinall2000-09-12
* Remove shell important setting from script ones.Gravatar David Aspinall2000-09-12
* Rather empty example.Gravatar David Aspinall2000-09-12
* Add syntax config for block comments, and remove path from af2-prog-name.Gravatar David Aspinall2000-09-12
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 02:00:58 +0000