aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)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 (XEmacs...David Aspinall
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
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 p...David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-05 03:32:39 +0000