aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAge
* 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
| | | | tuned;
* 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 ↵Gravatar Christophe Raffalli2000-09-18
| | | | string-match instead).
* 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
| | | | font-lock-preprocessor-face in FSF Emacs.
* Emulate buffer-syntactic-context on FSF EmacsGravatar David Aspinall2000-09-18
|
* Remove twelf-config-mode variable check, to allow functionsGravatar David Aspinall2000-09-18
| | | | here to work with PG (without loading twelf-old.el).
* 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
| | | | | in isabelle-command-line); tuned comments;
* isabelle-command-line: include -PI options for isar;Gravatar Makarius Wenzel2000-09-17
| | | | activate global-timing;
* 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
| | | | tuned;
* 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 ↵Gravatar Christophe Raffalli2000-09-15
| | | | proof-xxx-with-hole-regexp
* 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
| | | | fixed glyph of \<pounds>;
* 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
| | | | chapter.
* Note about creating images for toolbar.Gravatar David Aspinall2000-09-14
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-30 09:24:55 +0000