aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-09-15usefull function definitions for af2Christophe Raffalli
2000-09-14renamed \<brokenbar> to \<bar>;Makarius Wenzel
2000-09-14x-symbol-isabelle-electric-ignore: "~=";Makarius Wenzel
2000-09-14Set version tag for new release.David Aspinall
2000-09-14Encourage use of easy instantiation mechanism.David Aspinall
2000-09-14Encourage use of demoisa-easy.elDavid Aspinall
2000-09-14Encourage use of demoisa-easy.elDavid Aspinall
2000-09-14Remove FIXME.David Aspinall
2000-09-14Improved docstrings, comments.David Aspinall
2000-09-14Moved proof-add-completions to adapting manualDavid Aspinall
2000-09-14Added doc of completions, several other script settings. Sections in script ...David Aspinall
2000-09-14Note about creating images for toolbar.David Aspinall
2000-09-14UpdatedDavid Aspinall
2000-09-14UpdatedDavid Aspinall
2000-09-14UpdatesDavid Aspinall
2000-09-14Shrunk a bitDavid Aspinall
2000-09-14Updated.David Aspinall
2000-09-13done: make help key bindings appear in "Show me ..." menu;Makarius Wenzel
2000-09-13capitalize xs-lang-name;Makarius Wenzel
2000-09-13Removed keystroke index.David Aspinall
2000-09-13Set version tag for new release.David Aspinall
2000-09-13Added some bug test cases.David Aspinall
2000-09-13UpdatedDavid Aspinall
2000-09-13Added af2 and twelf to elisp dirs.David Aspinall
2000-09-13Getting ready for 3.2 releaseDavid Aspinall
2000-09-13Minor changes and improvementsDavid Aspinall
2000-09-13Reduced sizes of images.David Aspinall
2000-09-13Revamp style a bit -- not so good with netscape but OK elsewhere.David Aspinall
2000-09-13Remove keystroke index, add appendix with demoisa code (directly included)David Aspinall
2000-09-13Docstring changes for printed docs.David Aspinall
2000-09-13Add sections to chapter 2, and text on adjusting toolbar. Update magicDavid Aspinall
2000-09-13Add removal of state button as test example. Replace af2-with-xemacs -> proof...David Aspinall
2000-09-13Add trivial test command.David Aspinall
2000-09-13Order changeDavid Aspinall
2000-09-13Removed proof-toolbar-entries-default and <PA>-toolbar-entries.David Aspinall
2000-09-13Minor improvementsDavid Aspinall
2000-09-13Remove ambitious promise to implement proper generic-find-and-forget.David Aspinall
2000-09-13Make <PA>-toolbar-entries, and move it and proof-toolbar-entries-default to p...David Aspinall
2000-09-12Make ordinary dist before develdist, because dist clears build dir... whoops.David Aspinall
2000-09-12Notes about using cvs remotely added.David Aspinall
2000-09-12Set version tag for new release.David Aspinall
2000-09-12Updated magic.David Aspinall
2000-09-12Add provide sym-lock to fix sym lock loading problemDavid Aspinall
2000-09-12More details about parsing functions. Improved introDavid Aspinall
2000-09-12Update date.David Aspinall
2000-09-12Remove shell important setting from script ones.David Aspinall
2000-09-12Rather empty example.David Aspinall
2000-09-12Add syntax config for block comments, and remove path from af2-prog-name.David Aspinall
2000-09-12UpdatedDavid Aspinall
2000-09-12Add sanity check on important settings for proof shell (underway)David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-09 03:32:02 +0000