aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2003-03-17New files.David Aspinall
2003-03-17Updated.David Aspinall
2003-03-17Updated magicDavid Aspinall
2003-03-17Bury splash buffer instead of merely switching away from it.David Aspinall
2003-03-17Updated.David Aspinall
2003-03-17Allow proof-strict-read-only to be changed dyamically, add to quick opts ↵David Aspinall
menu in place of output highlight setting.
2003-03-17Documentation.David Aspinall
2003-03-17Updated.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-14Updated.David Aspinall
2003-03-14Set version tag for new release.David Aspinall
2003-03-14Updated version sent sent by CWDavid 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-10Updated.David Aspinall
2003-03-10Add test case with symbol in subscriptDavid Aspinall
2003-03-10Update datesDavid Aspinall
2003-03-07Updated.David Aspinall
2003-03-07Set version tag for new release.David Aspinall
2003-03-07Updated.David Aspinall
2003-03-07Remove notes about old bugsDavid 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-06Patch from CW to fix sub/supers prob.David Aspinall
2003-03-05List of stuff to do hereDavid Aspinall
2003-03-05Updated.David Aspinall
2003-03-05Set version tag for new release.David Aspinall
2003-03-05Tweaks to auto-style; remove x-symbol-set-cache-variable because breaks compileDavid Aspinall
2003-03-05Add function to parse consts part of syntax outputDavid Aspinall
2003-03-05clean does distclean for x-symbolDavid Aspinall
2003-03-05Make sure selected window never changesDavid Aspinall
2003-03-03Updated.David Aspinall
2003-03-03Remove newlines patch for CoqDavid Aspinall
2003-03-03Updated.David Aspinall
2003-03-03Add mmm. Ignore byte compile errorsDavid Aspinall
2003-03-03Updated.David Aspinall
2003-03-03Updated.David Aspinall
2003-03-03Updated.David Aspinall
2003-03-03Set version tag for new release.David Aspinall
2003-03-03Fix sticky mode properties for X-SymbolDavid Aspinall
2003-03-03Updated.David Aspinall
2003-03-03New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-14 17:37:08 +0000