aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2000-09-18Added bug fix section and patch for undefinedDavid Aspinall
font-lock-preprocessor-face in FSF Emacs.
2000-09-18Emulate buffer-syntactic-context on FSF EmacsDavid Aspinall
2000-09-18Remove twelf-config-mode variable check, to allow functionsDavid Aspinall
here to work with PG (without loading twelf-old.el).
2000-09-18Improvements to support: needs work in segment-up-to, though.David Aspinall
2000-09-18complete set of keywords from IOA image;Makarius Wenzel
2000-09-18Set version tag for new release.David Aspinall
2000-09-17silent-cmd and init-cmd: activate Isabelle99-1 versions;Makarius Wenzel
2000-09-17removed proof-shell-pre-sync-init-cmd (init now handled by -PI optionsMakarius Wenzel
in isabelle-command-line); tuned comments;
2000-09-17isabelle-command-line: include -PI options for isar;Makarius Wenzel
activate global-timing;
2000-09-17this file is now a COPY of isar/interface;Makarius Wenzel
2000-09-17-I option for Isar vs. classic Isabelle mode;Makarius Wenzel
tuned;
2000-09-15isatool installfonts (for remote X-Symbol fonts);Makarius Wenzel
2000-09-15various fixes.Christophe Raffalli
.
2000-09-15added proof-retract-current-goalChristophe Raffalli
2000-09-15added proper call to proof-remove-comment before matching with ↵Christophe Raffalli
proof-xxx-with-hole-regexp
2000-09-15removed some debugging messages I forgotChristophe Raffalli
2000-09-15added function string-search and proof-remove-commentChristophe Raffalli
2000-09-15major modifications including outline, atgs, ...Christophe Raffalli
2000-09-15outline minior mode definitions for af2Christophe Raffalli
2000-09-15font-lock and sym-lock definitions for af2Christophe Raffalli
2000-09-15tags functions for af2Christophe Raffalli
2000-09-15usefull function definitions for af2Christophe Raffalli
2000-09-14renamed \<brokenbar> to \<bar>;Makarius Wenzel
fixed glyph of \<pounds>;
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
chapter.
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-27 10:50:57 +0000