aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2003-03-01This commit was manufactured by cvs2git to create branch 'xsym'.cvs2git
2003-03-01New files.David 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-27Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-27This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2003-02-26Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-26This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2003-02-26Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-26This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2003-02-26Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-26This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2003-02-26Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-26This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2003-02-26Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-26This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2003-02-26Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-26This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2003-02-24Updated.David Aspinall
2003-02-24Fix to shrink-windows-tofitDavid Aspinall
2003-02-24Install x-sym/mmmDavid Aspinall
2003-02-24Updated.David Aspinall
2003-02-24Documentation.David Aspinall
2003-02-24Updated.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-24Add mmm and x-symbolDavid Aspinall
2003-02-24Fix some compile errorsDavid Aspinall
2003-02-22Say Coq 7.4David Aspinall
2003-02-22Renamed fileDavid Aspinall
2003-02-22Updated.David Aspinall
2003-02-22Set version tag for new release.David Aspinall
2003-02-22DeletingDavid Aspinall
2003-02-22Deleted fileDavid Aspinall
2003-02-22Fixes to work with bundled versionDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-14 23:26:17 +0000