Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | ||
| | ||||
* | Encourage use of easy instantiation mechanism. | 2000-09-14 | ||
| | ||||
* | Encourage use of demoisa-easy.el | 2000-09-14 | ||
| | ||||
* | Encourage use of demoisa-easy.el | 2000-09-14 | ||
| | ||||
* | Remove FIXME. | 2000-09-14 | ||
| | ||||
* | Improved docstrings, comments. | 2000-09-14 | ||
| | ||||
* | Moved proof-add-completions to adapting manual | 2000-09-14 | ||
| | ||||
* | Added doc of completions, several other script settings. Sections in script ↵ | 2000-09-14 | ||
| | | | | chapter. | |||
* | Note about creating images for toolbar. | 2000-09-14 | ||
| | ||||
* | Updated | 2000-09-14 | ||
| | ||||
* | Updated | 2000-09-14 | ||
| | ||||
* | Updates | 2000-09-14 | ||
| | ||||
* | Shrunk a bit | 2000-09-14 | ||
| | ||||
* | Updated. | 2000-09-14 | ||
| | ||||
* | done: make help key bindings appear in "Show me ..." menu; | 2000-09-13 | ||
| | ||||
* | capitalize xs-lang-name; | 2000-09-13 | ||
| |