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