aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
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-10Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-02-10This commit was generated by cvs2git to track changes on a CVS vendorDavid 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
2003-02-03Updated.David Aspinall
2003-02-03Set version tag for new release.David Aspinall
2003-02-03code cleaning + deals better with the new module system of Coq. DidPierre Courtieu
2003-02-03- Moved "show me" menu one level up in the menu hierarchyStefan Berghofer
2003-02-02Fix from Christoph Conrad for Emacs compatibility (buffer-string)David Aspinall
2003-01-30Bug correction in the find-and-forget function for coq: in Coq v74, noPierre Courtieu
2003-01-29Added a file for testing modules of coq (new version 7.4). Plus somePierre Courtieu
2003-01-29Updated.David Aspinall
2003-01-29Add remassoc for FSF.David Aspinall
2003-01-28Version 4.5 (beta?) sent by CW, as a package distrib.David Aspinall
2003-01-28This commit was generated by cvs2git to track changes on a CVS vendorDavid Aspinall
2003-01-24Fix hilight of Module Type?David Aspinall
2003-01-24New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-15 14:52:22 +0000