aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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
2003-02-10Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-06little change to proof-script-command-end-regexp, again, to deal withPierre Courtieu
2003-02-06Slight modification to proof-script-command-end-regexp in coq.el, toPierre Courtieu
2003-02-05Updated.David Aspinall
2003-02-05Grumpy noteDavid Aspinall
2003-02-05Updated.David Aspinall
2003-02-05Updated.David Aspinall
2003-02-05Set version tag for new release.David Aspinall
2003-02-05Updated.David Aspinall
2003-02-05Doc generalisation of proof-script-command-end-regexp.David Aspinall
2003-02-05Tweak proof-script-generic-parse-cmdend to allow .. fix for Coq parsingDavid Aspinall
2003-02-05New files.David Aspinall
2003-02-05New setting for parse cmdend regexp.David Aspinall
2003-02-05Compatibility function for customize-menu-createDavid Aspinall
2003-02-05Give up on customize-menu-create on GNU EmacsDavid Aspinall
2003-02-05Added a paragraph in the documentation for the variable coq-version-is-V74.Pierre Courtieu
2003-02-04Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-04This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2003-02-04Coq/pg: fixed a little bug with the "Print Hint" state preservingPierre Courtieu
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-12 12:31:37 +0000