aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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-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
2003-02-22Temporarily disable mode-class prop on script major mode (for X-sym 4.45beta)David Aspinall
2003-02-22Updated.David Aspinall
2003-02-22auto-coding-alistDavid Aspinall
2003-02-22New files.David Aspinall
2003-02-22Move x-sym config to x-symbol-isa.elDavid Aspinall
2003-02-22Move x-sym config to x-symbol-isar.elDavid Aspinall
2003-02-22Experiments with auto-styleDavid Aspinall
2003-02-22Add code to use bundled version, commented out since broken.David Aspinall
2003-02-21X-Symbol version 4.45 betaDavid Aspinall
2003-02-20Updated.David Aspinall
2003-02-20Set version tag for new release.David Aspinall
2003-02-20corrected a bug of pg/coq, the following line was not recognized as aPierre Courtieu
2003-02-19Updated.David Aspinall
2003-02-19Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.David Aspinall
2003-02-19Documentation.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-19This commit was manufactured by cvs2git to create branch 'xsym'.cvs2git
2003-02-19New files.David Aspinall
2003-02-19Renamed fileDavid Aspinall
2003-02-19Updated.David Aspinall
2003-02-19New files.David Aspinall
2003-02-19Set version tag for new release.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-18 20:32:35 +0000