aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* outline minior mode definitions for af2Gravatar Christophe Raffalli2000-09-15
* font-lock and sym-lock definitions for af2Gravatar Christophe Raffalli2000-09-15
* tags functions for af2Gravatar Christophe Raffalli2000-09-15
* usefull function definitions for af2Gravatar Christophe Raffalli2000-09-15
* renamed \<brokenbar> to \<bar>;Gravatar Makarius Wenzel2000-09-14
* x-symbol-isabelle-electric-ignore: "~=";Gravatar Makarius Wenzel2000-09-14
* Set version tag for new release.Gravatar David Aspinall2000-09-14
* Encourage use of easy instantiation mechanism.Gravatar David Aspinall2000-09-14
* Encourage use of demoisa-easy.elGravatar David Aspinall2000-09-14
* Encourage use of demoisa-easy.elGravatar David Aspinall2000-09-14
* Remove FIXME.Gravatar David Aspinall2000-09-14
* Improved docstrings, comments.Gravatar David Aspinall2000-09-14
* Moved proof-add-completions to adapting manualGravatar David Aspinall2000-09-14
* Added doc of completions, several other script settings. Sections in script ...Gravatar David Aspinall2000-09-14
* Note about creating images for toolbar.Gravatar David Aspinall2000-09-14
* UpdatedGravatar David Aspinall2000-09-14
* UpdatedGravatar David Aspinall2000-09-14
* UpdatesGravatar David Aspinall2000-09-14
* Shrunk a bitGravatar David Aspinall2000-09-14
* Updated.Gravatar David Aspinall2000-09-14
* done: make help key bindings appear in "Show me ..." menu;Gravatar Makarius Wenzel2000-09-13
* capitalize xs-lang-name;Gravatar Makarius Wenzel2000-09-13
* Removed keystroke index.Gravatar David Aspinall2000-09-13
* Set version tag for new release.Gravatar David Aspinall2000-09-13
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 06:48:07 +0000