aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
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
2002-12-29Try to catch nesting too deep ugliness (esp in Isabelle tracing)David Aspinall
2002-12-29Add followdownDavid Aspinall
2002-12-29Add followdown mode; compat noteDavid Aspinall
2002-12-29Buglet in proof-shell-ready-proverDavid Aspinall
2002-11-28DocDavid Aspinall
2002-11-28Add pg-xml-encode-entities.David Aspinall
2002-11-28Revert proof-shell-handle-output version, add failsafe.David Aspinall
2002-11-20Autoload proof-definvisibleDavid Aspinall
2002-11-20Remove junkDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-21 03:34:26 +0000