aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2000-09-21Slightly shorter name for info dir entry.David Aspinall
2000-09-21Set version tag for new release.David Aspinall
2000-09-21Fix globbing some more.David Aspinall
2000-09-21Fix for rpm braindead globbing.David Aspinall
2000-09-21Fix infodir entry, it got broken somehow.David Aspinall
2000-09-21Add PG-adapting to info files.David Aspinall
2000-09-21tweak 'x-symbol-image-converter to avoid confusing warning;Makarius Wenzel
2000-09-21use plain /bin/sh instead of bash;Makarius Wenzel
2000-09-21Added Prefixes: tagDavid Aspinall
2000-09-21Add symlink PG -> PG-ver to main dist. Dont dereference symlinks when making ↵David Aspinall
tars (why was it done?).
2000-09-21Make PG-adapting first so index.html left pointing to main manualDavid Aspinall
2000-09-21added Isabelle symbols for parendblleft/parendblright glyphs (will beMakarius Wenzel
present in X-Symbol-3.3e; should not cause problems with older versions);
2000-09-21Newlines.David Aspinall
2000-09-21Tweaked abort buttonDavid Aspinall
2000-09-21Improved adding more lisp code chapter.David Aspinall
2000-09-21Changed ChangeLog target to use rcs2log directly. Added developer's ↵David Aspinall
details, correct emails.
2000-09-21Removed blurry distinction between block-comment and comment in FSF's ↵David Aspinall
buffer-syntactic-context
2000-09-21** D support proof-next-error?Makarius Wenzel
2000-09-21tuned comment;Makarius Wenzel
2000-09-21bug2: Resolved as of 17.9.00;Makarius Wenzel
2000-09-21fixed "Dagstuhl";Makarius Wenzel
2000-09-21done: exit isar;Makarius Wenzel
added comment about output performance;
2000-09-20added -X option;Makarius Wenzel
2000-09-20Set version tag for new release.David Aspinall
2000-09-20CommentsDavid Aspinall
2000-09-20Disable toolbar enablers on win32.David Aspinall
2000-09-20New generated buttons.David Aspinall
2000-09-20Add new buttonDavid Aspinall
2000-09-20added abort buttonChristophe Raffalli
2000-09-20abort buttonChristophe Raffalli
2000-09-20dirty bug fix in next-span to avoid loops with FSF EmacsChristophe Raffalli
2000-09-19made \<> word characters (accomodates symbol representation);Makarius Wenzel
2000-09-19installfonts only when using X window system;Makarius Wenzel
2000-09-19isar-toolbar-entries: remove 'goal and 'qed;Makarius Wenzel
2000-09-19removed junk;Makarius Wenzel
2000-09-19improved xsymbol config: include info dir, only init for XEmacs;Makarius Wenzel
2000-09-19done: ability to choose logic;Makarius Wenzel
2000-09-19isa: DEFAULT_FILES="Scratch.thy Scratch.ML";Makarius Wenzel
2000-09-19Isabelle version: 99-1;Makarius Wenzel
tuned;
2000-09-19Isabelle version: 99-1;Makarius Wenzel
2000-09-18more robust checking of xsymbol-home;Makarius Wenzel
2000-09-18*** empty log message ***Christophe Raffalli
2000-09-18changed proof-remove-comment to avoid using string-search (using ↵Christophe Raffalli
string-match instead).
2000-09-18UpdatedDavid Aspinall
2000-09-18Get rid of proof-segment-up-to-old.David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-22 16:08:23 +0000