aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2003-03-17Documentation.David Aspinall
2003-03-17Set version tag for new release.David Aspinall
2003-03-17More tweaks so that (proof-ass x-symbol-enable) is pervasive.David Aspinall
2003-03-16Streamline startup.David Aspinall
2003-03-16Updated.David Aspinall
2003-03-16Improve removal of display of splash screen. Buffer still not killed ↵David Aspinall
(XEmacs prob)
2003-03-14Set version tag for new release.David Aspinall
2003-03-14Use X-Symbol supplied functions for encoding input and decoding output regionsDavid Aspinall
2003-03-14Be more polite with handling of invisibility specDavid Aspinall
2003-03-14Comment about desirability for lazy-shot in trace outputDavid Aspinall
2003-03-14Only decode x-symbols if enabled globally for prover.David Aspinall
2003-03-14Add requires to reduce compilation warnings.David Aspinall
2003-03-14Kludge for key-press during loading problem with splash screen.David Aspinall
2003-03-10Update datesDavid Aspinall
2003-03-07Set version tag for new release.David Aspinall
2003-03-07Use Info-default-directory-list for GNU Emacs stillDavid Aspinall
2003-03-06Fix Non-X frame error on Emacs 21David Aspinall
2003-03-05List of stuff to do hereDavid Aspinall
2003-03-05Set version tag for new release.David Aspinall
2003-03-05Make sure selected window never changesDavid Aspinall
2003-03-03Set version tag for new release.David Aspinall
2003-03-03Fix sticky mode properties for X-SymbolDavid Aspinall
2003-03-03Fix sticky mode properties for X-SymbolDavid Aspinall
2003-03-01Some fixes/error protection in shrink windowDavid Aspinall
2003-03-01Refactor function used for Isar parsing a little.David Aspinall
2003-02-24Fix to shrink-windows-tofitDavid Aspinall
2003-02-24Documentation.David Aspinall
2003-02-24Set version tag for new release.David Aspinall
2003-02-24Set x-symbol-data-directoryDavid Aspinall
2003-02-24Fix proofdefinvisible, proofdefshortcut to work in compiled versionDavid Aspinall
2003-02-24Fix some compile errorsDavid Aspinall
2003-02-22Set version tag for new release.David Aspinall
2003-02-22Fixes to work with bundled versionDavid Aspinall
2003-02-22Temporarily disable mode-class prop on script major mode (for X-sym 4.45beta)David Aspinall
2003-02-22Add code to use bundled version, commented out since broken.David Aspinall
2003-02-20Set version tag for new release.David Aspinall
2003-02-19Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.David Aspinall
2003-02-19Docs; same safe-fail for MMM as X-Symbol.David Aspinall
2003-02-19Documentation.David Aspinall
2003-02-19Use bundled version off mmm firstDavid Aspinall
2003-02-19Set version tag for new release.David Aspinall
2003-02-19Leave packages' own hooks (X-Symbol, MMM) to deal with turning on orDavid Aspinall
off minor modes in buffers automatically. Now the PG setting controls the "default global for PG buffers" for each of these. The menu checkbox simply displays the current minor mode status. When this is changed, the PG global mode follows suit. We do not try to apply the change to all PG buffers (30 minutes of fontification!).
2003-02-18Comments.David Aspinall
2003-02-18Small bugfix.David Aspinall
2003-02-18Updated.David Aspinall
2003-02-18Add support for MMM modeDavid Aspinall
2003-02-18Refactor proof-config-done for clarityDavid Aspinall
2003-02-18New files.David Aspinall
2003-02-17Set version tag for new release.David Aspinall
2003-02-17Remove proof-shell-filter patch of Stefan Monnier which deals with multiple ↵David Aspinall
prompts, but produces spurious output with Isabelle.
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 14:08:16 +0000