aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2003-02-19Use bundled version off mmm firstDavid Aspinall
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
2003-02-17Update addressesDavid Aspinall
2003-02-17Remove proof-shell-filter patch of Stefan Monnier which deals with multiple p...David Aspinall
2003-02-17Remove subterm markup striping in proof-shell-process-output (error case). DocsDavid Aspinall
2003-02-16Added documentation string to the variables coq-version-is-V6 (new),Pierre Courtieu
2003-02-16Updated.David Aspinall
2003-02-16Set version tag for new release.David Aspinall
2003-02-16Documentation.David Aspinall
2003-02-16Add backwards compatibility for old pre-PGIP settings mechanismDavid Aspinall
2003-02-16Updated.David Aspinall
2003-02-15Updated.David Aspinall
2003-02-15Link to CHANGES for comment on versions.David Aspinall
2003-02-15Fixes so that compile worksDavid Aspinall
2003-02-15Line for Emacs compileDavid Aspinall
2003-02-15Towards isabelle-refresh-logicsDavid Aspinall
2003-02-12change for version 0.83 of PhoXChristophe Raffalli
2003-02-12Added the keyword "Local :=" to the coq-goal-command-p function, likePierre Courtieu
2003-02-10little modif on the end-cammand regexp.Pierre Courtieu
2003-02-10This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-26 23:26:15 +0000