Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Added quick-and-dirty setting -- we can still argue about the default, 8-) | David Aspinall | 2000-06-29 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-06-27 | |
| | ||||
* | Minor tweak. | David Aspinall | 2000-06-27 | |
| | ||||
* | Updated | David Aspinall | 2000-06-27 | |
| | ||||
* | Note about typing in shell buffer | David Aspinall | 2000-06-27 | |
| | ||||
* | Tidy | David Aspinall | 2000-06-27 | |
| | ||||
* | Added tag to force Isar mode | David Aspinall | 2000-06-27 | |
| | ||||
* | Fix mark buffer atomic problem (caused multiple file oddity with Isar), for ↵ | David Aspinall | 2000-06-26 | |
| | | | | new parsing functions. | |||
* | Set version tag for new release. | David Aspinall | 2000-06-22 | |
| | ||||
* | Added missing proof. | David Aspinall | 2000-06-22 | |
| | ||||
* | Extra note. | David Aspinall | 2000-06-22 | |
| | ||||
* | XEmacs only note | David Aspinall | 2000-06-22 | |
| | ||||
* | Rearranged, more info about X-Sym probs | David Aspinall | 2000-06-22 | |
| | ||||
* | Remove modeline from extra frames (in XEmacs). | David Aspinall | 2000-06-22 | |
| | ||||
* | Added back defconsts for face names needed for FSF Emacs. | David Aspinall | 2000-06-22 | |
| | | | | Yet another annoyance with FSF. | |||
* | somme little changes to make undo work better | Pierre Courtieu | 2000-06-22 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-06-19 | |
| | ||||
* | Fix typo causing missing proof-shell-pre-interrupt-hook. | David Aspinall | 2000-06-19 | |
| | ||||
* | Fix typo | David Aspinall | 2000-06-19 | |
| | ||||
* | Updated list of helpers. Typo | David Aspinall | 2000-06-19 | |
| | ||||
* | proper function-menu (fume) setup; | Makarius Wenzel | 2000-06-16 | |
| | ||||
* | proper indentation setup; | Makarius Wenzel | 2000-06-16 | |
| | ||||
* | proper indentation; | Makarius Wenzel | 2000-06-16 | |
| | ||||
* | proof-script-find-next-entity: support list of match items; | Makarius Wenzel | 2000-06-16 | |
| | | | | | | replaced spurious re-search-forward by proof-re-search-forward; proof-script-important-settings: commented out proof-goal-with-hole-regexp, proof-save-with-hole-regexp; | |||
* | proof-script-next-entity-regexps: admit list of MATCHNOS; | Makarius Wenzel | 2000-06-16 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-06-16 | |
| | ||||
* | Renamed x symbol language name to isabelle (rather big for status line, ↵ | David Aspinall | 2000-06-16 | |
| | | | | unfortunately) | |||
* | Tuned x-symbol config, moved settings to isabelle-system.el | David Aspinall | 2000-06-16 | |
| | ||||
* | Added pgcustom x-symbol-language to allow different language name than proof ↵ | David Aspinall | 2000-06-16 | |
| | | | | assistant | |||
* | Deleted files. | David Aspinall | 2000-06-16 | |
| | ||||
* | Renamed file | David Aspinall | 2000-06-16 | |
| | ||||
* | Note about new indentation code and current buggy state | David Aspinall | 2000-06-16 | |
| | ||||
* | Added new section on updates for future Emacs versions | David Aspinall | 2000-06-15 | |
| | ||||
* | Updated | David Aspinall | 2000-06-15 | |
| | ||||
* | Note to merge | David Aspinall | 2000-06-15 | |
| | ||||
* | First attempt at using new indentation for Isabelle. Utterly broken. | David Aspinall | 2000-06-15 | |
| | ||||
* | Support toolbar in gtk-xemacs | David Aspinall | 2000-06-15 | |
| | ||||
* | More comments at top of file | David Aspinall | 2000-06-15 | |
| | ||||
* | Web addr note | David Aspinall | 2000-06-15 | |
| | ||||
* | Improved some docstrings. | David Aspinall | 2000-06-15 | |
| | | | | | | Simplified face configuration by using auxiliary macro. Now also works for gtk-xemacs. Experimented with removing spurious face alias constants. | |||
* | Elaborated on where to find example file | David Aspinall | 2000-06-15 | |
| | ||||
* | new indentation setup; | Makarius Wenzel | 2000-06-10 | |
| | ||||
* | Message about packages needed (incomplete) | David Aspinall | 2000-06-09 | |
| | ||||
* | Removed spurious requires. | David Aspinall | 2000-06-09 | |
| | ||||
* | Updated magic. | David Aspinall | 2000-06-09 | |
| | ||||
* | Load a couple more file manually. | David Aspinall | 2000-06-09 | |
| | ||||
* | Strange ? got in by accident. | David Aspinall | 2000-06-09 | |
| | ||||
* | Set version tag for new release. | David Aspinall | 2000-06-09 | |
| | ||||
* | Comment | David Aspinall | 2000-06-09 | |
| | ||||
* | Remove toolbar and menubar from windows in multiple frame mode. | David Aspinall | 2000-06-09 | |
| |