aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2000-09-21bug2: Resolved as of 17.9.00;Makarius Wenzel
2000-09-21fixed "Dagstuhl";Makarius Wenzel
2000-09-21done: exit isar;Makarius Wenzel
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
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 string-match...Christophe Raffalli
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
2000-09-18Emulate buffer-syntactic-context on FSF EmacsDavid Aspinall
2000-09-18Remove twelf-config-mode variable check, to allow functionsDavid Aspinall
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
2000-09-17isabelle-command-line: include -PI options for isar;Makarius Wenzel
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
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 proof-xxx-with...Christophe Raffalli
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
2000-09-14x-symbol-isabelle-electric-ignore: "~=";Makarius Wenzel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 04:17:21 +0000