aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
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 ↵David Aspinall
prompts, but produces spurious output with Isabelle.
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
coq-version-is-V7 and coq-version-is-V74.
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
Definition.
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
branch.
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
coq-v6.2. In the next version we will remove support for coq < 7.0.
2003-02-06Slight modification to proof-script-command-end-regexp in coq.el, toPierre Courtieu
allow command at the end of the buffer.
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 14:50:03 +0000