Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Disable toolbar enablers on win32. | David Aspinall | 2000-09-20 | |
| | ||||
* | New generated buttons. | David Aspinall | 2000-09-20 | |
| | ||||
* | Add new button | David Aspinall | 2000-09-20 | |
| | ||||
* | added abort button | Christophe Raffalli | 2000-09-20 | |
| | ||||
* | abort button | Christophe Raffalli | 2000-09-20 | |
| | ||||
* | dirty bug fix in next-span to avoid loops with FSF Emacs | Christophe Raffalli | 2000-09-20 | |
| | ||||
* | made \<> word characters (accomodates symbol representation); | Makarius Wenzel | 2000-09-19 | |
| | ||||
* | installfonts only when using X window system; | Makarius Wenzel | 2000-09-19 | |
| | ||||
* | isar-toolbar-entries: remove 'goal and 'qed; | Makarius Wenzel | 2000-09-19 | |
| | ||||
* | removed junk; | Makarius Wenzel | 2000-09-19 | |
| | ||||
* | improved xsymbol config: include info dir, only init for XEmacs; | Makarius Wenzel | 2000-09-19 | |
| | ||||
* | done: ability to choose logic; | Makarius Wenzel | 2000-09-19 | |
| | ||||
* | isa: DEFAULT_FILES="Scratch.thy Scratch.ML"; | Makarius Wenzel | 2000-09-19 | |
| | ||||
* | Isabelle version: 99-1; | Makarius Wenzel | 2000-09-19 | |
| | | | | tuned; | |||
* | Isabelle version: 99-1; | Makarius Wenzel | 2000-09-19 | |
| | ||||
* | more robust checking of xsymbol-home; | Makarius Wenzel | 2000-09-18 | |
| | ||||
* | *** empty log message *** | Christophe Raffalli | 2000-09-18 | |
| | ||||
* | changed proof-remove-comment to avoid using string-search (using ↵ | Christophe Raffalli | 2000-09-18 | |
| | | | | string-match instead). | |||
* | Updated | David Aspinall | 2000-09-18 | |
| | ||||
* | Get rid of proof-segment-up-to-old. | David Aspinall | 2000-09-18 | |
| | ||||
* | Added bug fix section and patch for undefined | David Aspinall | 2000-09-18 | |
| | | | | font-lock-preprocessor-face in FSF Emacs. | |||
* | Emulate buffer-syntactic-context on FSF Emacs | David Aspinall | 2000-09-18 | |
| | ||||
* | Remove twelf-config-mode variable check, to allow functions | David Aspinall | 2000-09-18 | |
| | | | | here to work with PG (without loading twelf-old.el). | |||
* | Improvements to support: needs work in segment-up-to, though. | David Aspinall | 2000-09-18 | |
| | ||||
* | complete set of keywords from IOA image; | Makarius Wenzel | 2000-09-18 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-09-18 | |
| | ||||
* | silent-cmd and init-cmd: activate Isabelle99-1 versions; | Makarius Wenzel | 2000-09-17 | |
| | ||||
* | removed proof-shell-pre-sync-init-cmd (init now handled by -PI options | Makarius Wenzel | 2000-09-17 | |
| | | | | | in isabelle-command-line); tuned comments; | |||
* | isabelle-command-line: include -PI options for isar; | Makarius Wenzel | 2000-09-17 | |
| | | | | activate global-timing; | |||
* | this 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-17 | |
| | | | | tuned; | |||
* | isatool installfonts (for remote X-Symbol fonts); | Makarius Wenzel | 2000-09-15 | |
| | ||||
* | various fixes. | Christophe Raffalli | 2000-09-15 | |
| | | | | . | |||
* | added proof-retract-current-goal | Christophe Raffalli | 2000-09-15 | |
| | ||||
* | added proper call to proof-remove-comment before matching with ↵ | Christophe Raffalli | 2000-09-15 | |
| | | | | proof-xxx-with-hole-regexp | |||
* | removed some debugging messages I forgot | Christophe Raffalli | 2000-09-15 | |
| | ||||
* | added function string-search and proof-remove-comment | Christophe Raffalli | 2000-09-15 | |
| | ||||
* | major modifications including outline, atgs, ... | Christophe Raffalli | 2000-09-15 | |
| | ||||
* | outline minior mode definitions for af2 | Christophe Raffalli | 2000-09-15 | |
| | ||||
* | font-lock and sym-lock definitions for af2 | Christophe Raffalli | 2000-09-15 | |
| | ||||
* | tags functions for af2 | Christophe Raffalli | 2000-09-15 | |
| | ||||
* | usefull function definitions for af2 | Christophe Raffalli | 2000-09-15 | |
| | ||||
* | renamed \<brokenbar> to \<bar>; | Makarius Wenzel | 2000-09-14 | |
| | | | | fixed glyph of \<pounds>; | |||
* | x-symbol-isabelle-electric-ignore: "~="; | Makarius Wenzel | 2000-09-14 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-09-14 | |
| | ||||
* | Encourage use of easy instantiation mechanism. | David Aspinall | 2000-09-14 | |
| | ||||
* | Encourage use of demoisa-easy.el | David Aspinall | 2000-09-14 | |
| | ||||
* | Encourage use of demoisa-easy.el | David Aspinall | 2000-09-14 | |
| | ||||
* | Remove FIXME. | David Aspinall | 2000-09-14 | |
| | ||||
* | Improved docstrings, comments. | David Aspinall | 2000-09-14 | |
| |