aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2003-02-19Updated.David Aspinall
2003-02-19Leave packages' own hooks (X-Symbol, MMM) to deal with turning on orDavid Aspinall
2003-02-18Add pg-xml to main distDavid Aspinall
2003-02-18Comments.David Aspinall
2003-02-18Updated.David Aspinall
2003-02-18Deleted files.David Aspinall
2003-02-18Updated.David Aspinall
2003-02-18Test with -- short comments. DocsDavid Aspinall
2003-02-18DeleteDavid Aspinall
2003-02-18New files.David Aspinall
2003-02-18Small bugfix.David Aspinall
2003-02-18New files.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-18Documentation.David Aspinall
2003-02-18Decoration to show off MMM modeDavid Aspinall
2003-02-17Mention adding MMM modeDavid Aspinall
2003-02-17New files.David Aspinall
2003-02-17New files.David Aspinall
2003-02-17Updated.David Aspinall
2003-02-17Test case for {nested proof} in isabelleDavid Aspinall
2003-02-17Set version tag for new release.David Aspinall
2003-02-17Revert to old isar-ids-to-regexpDavid Aspinall
2003-02-17Larrys suggestion for lookup-syntax-properties.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-15 14:52:21 +0000