aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
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.
2003-02-17Remove subterm markup striping in proof-shell-process-output (error case). DocsDavid Aspinall
2003-02-16Set version tag for new release.David Aspinall
2003-02-05Set version tag for new release.David Aspinall
2003-02-05Doc generalisation of proof-script-command-end-regexp.David Aspinall
2003-02-05Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsingDavid Aspinall
2003-02-05Compatibility function for customize-menu-createDavid Aspinall
2003-02-05Give up on customize-menu-create on GNU EmacsDavid Aspinall
2003-02-03Set version tag for new release.David Aspinall
2003-02-02Fix from Christoph Conrad for Emacs compatibility (buffer-string)David Aspinall
2003-01-29Updated.David Aspinall
2003-01-29Add remassoc for FSF.David Aspinall
2003-01-20Set version tag for new release.David Aspinall
2002-12-29Fake customize menu create for latest Emacs release -- workaround new bug thereDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-15 00:04:15 +0000