aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2003-03-03Deleted fileDavid Aspinall
2003-03-03Note about M-x x-symbol-modeDavid Aspinall
2003-03-03Add distcompile targetDavid Aspinall
2003-03-03Improved version from Gerwin Klein/Christoph Wedler; simplified auto-mode-sty...David Aspinall
2003-03-03Fix sticky mode properties for X-SymbolDavid Aspinall
2003-03-03Updated.David Aspinall
2003-03-03Updated.David Aspinall
2003-03-03Deleted fileDavid Aspinall
2003-03-03DeleteDavid Aspinall
2003-03-03Updated.David Aspinall
2003-03-01Update doc of X-SymDavid Aspinall
2003-03-01Update to 4.5 (pre?) version CW sentDavid Aspinall
2003-03-01This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2003-03-01Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-01 05:24:35 +0000