aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Tweaked abort buttonGravatar David Aspinall2000-09-21
* Improved adding more lisp code chapter.Gravatar David Aspinall2000-09-21
* Changed ChangeLog target to use rcs2log directly. Added developer's details,...Gravatar David Aspinall2000-09-21
* Removed blurry distinction between block-comment and comment in FSF's buffer-...Gravatar David Aspinall2000-09-21
* ** D support proof-next-error?Gravatar Makarius Wenzel2000-09-21
* tuned comment;Gravatar Makarius Wenzel2000-09-21
* bug2: Resolved as of 17.9.00;Gravatar Makarius Wenzel2000-09-21
* fixed "Dagstuhl";Gravatar Makarius Wenzel2000-09-21
* done: exit isar;Gravatar Makarius Wenzel2000-09-21
* added -X option;Gravatar Makarius Wenzel2000-09-20
* Set version tag for new release.Gravatar David Aspinall2000-09-20
* CommentsGravatar David Aspinall2000-09-20
* Disable toolbar enablers on win32.Gravatar David Aspinall2000-09-20
* New generated buttons.Gravatar David Aspinall2000-09-20
* Add new buttonGravatar David Aspinall2000-09-20
* added abort buttonGravatar Christophe Raffalli2000-09-20
* abort buttonGravatar Christophe Raffalli2000-09-20
* dirty bug fix in next-span to avoid loops with FSF EmacsGravatar Christophe Raffalli2000-09-20
* made \<> word characters (accomodates symbol representation);Gravatar Makarius Wenzel2000-09-19
* installfonts only when using X window system;Gravatar Makarius Wenzel2000-09-19
* isar-toolbar-entries: remove 'goal and 'qed;Gravatar Makarius Wenzel2000-09-19
* removed junk;Gravatar Makarius Wenzel2000-09-19
* improved xsymbol config: include info dir, only init for XEmacs;Gravatar Makarius Wenzel2000-09-19
* done: ability to choose logic;Gravatar Makarius Wenzel2000-09-19
* isa: DEFAULT_FILES="Scratch.thy Scratch.ML";Gravatar Makarius Wenzel2000-09-19
* Isabelle version: 99-1;Gravatar Makarius Wenzel2000-09-19
* Isabelle version: 99-1;Gravatar Makarius Wenzel2000-09-19
* more robust checking of xsymbol-home;Gravatar Makarius Wenzel2000-09-18
* *** empty log message ***Gravatar Christophe Raffalli2000-09-18
* changed proof-remove-comment to avoid using string-search (using string-match...Gravatar Christophe Raffalli2000-09-18
* UpdatedGravatar David Aspinall2000-09-18
* Get rid of proof-segment-up-to-old.Gravatar David Aspinall2000-09-18
* Added bug fix section and patch for undefinedGravatar David Aspinall2000-09-18
* Emulate buffer-syntactic-context on FSF EmacsGravatar David Aspinall2000-09-18
* Remove twelf-config-mode variable check, to allow functionsGravatar David Aspinall2000-09-18
* Improvements to support: needs work in segment-up-to, though.Gravatar David Aspinall2000-09-18
* complete set of keywords from IOA image;Gravatar Makarius Wenzel2000-09-18
* Set version tag for new release.Gravatar David Aspinall2000-09-18
* silent-cmd and init-cmd: activate Isabelle99-1 versions;Gravatar Makarius Wenzel2000-09-17
* removed proof-shell-pre-sync-init-cmd (init now handled by -PI optionsGravatar Makarius Wenzel2000-09-17
* isabelle-command-line: include -PI options for isar;Gravatar Makarius Wenzel2000-09-17
* this file is now a COPY of isar/interface;Gravatar Makarius Wenzel2000-09-17
* -I option for Isar vs. classic Isabelle mode;Gravatar Makarius Wenzel2000-09-17
* isatool installfonts (for remote X-Symbol fonts);Gravatar Makarius Wenzel2000-09-15
* various fixes.Gravatar Christophe Raffalli2000-09-15
* added proof-retract-current-goalGravatar Christophe Raffalli2000-09-15
* added proper call to proof-remove-comment before matching with proof-xxx-with...Gravatar Christophe Raffalli2000-09-15
* removed some debugging messages I forgotGravatar Christophe Raffalli2000-09-15
* added function string-search and proof-remove-commentGravatar Christophe Raffalli2000-09-15
* major modifications including outline, atgs, ...Gravatar Christophe Raffalli2000-09-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 10:26:07 +0000