aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2007-04-26Fixed the "Time Qed." mistreating (now recognized as a save commandPierre Courtieu
and make spans agregation ok).
2007-04-26Added some unknown keyword (not changing state). Fixes bug 113 from emakarov.MPierre Courtieu
2007-04-25Small fixes.Pierre Courtieu
2007-04-23small coloring fix.Pierre Courtieu
2007-04-23Fixed bug 111. Scroll response window to see goal and as muchPierre Courtieu
hypothesis as possible.
2007-04-23Fixing bug 110 for SearchRewrite en SearchAbout coq commends.Pierre Courtieu
2007-04-23Adapting last features to fsf emacs.Pierre Courtieu
2007-04-23Clean comments around eval-and-compile proof-modeDavid Aspinall
2007-04-23Added things in CHANGES.Pierre Courtieu
2007-04-20Adapting error highlighting (coq) to x-symbol.Pierre Courtieu
2007-04-20Add a shrink adapting hook for coq response buffer.Pierre Courtieu
2007-04-18Adding comments to experimental response buffer height adapting.Pierre Courtieu
2007-04-16Experimental feature: in three buffer mode: shrink response window asPierre Courtieu
much as possible.
2007-04-16Fixed a parenthesis, suggested by Stefan Monnier.Pierre Courtieu
2007-04-16Small fixes from Stefan Monnier.Pierre Courtieu
2007-04-16Patch from Stefan Monnier.Pierre Courtieu
2007-04-16Adapted to hybrid response/goals outputs from coq. We need somethingPierre Courtieu
generic on that. Currently I use proof-shell-process-output-system-specific.
2007-04-16Made coq version 8.1 the default.Pierre Courtieu
2007-03-26Change in a regexp for coq-shell-prompt.Pierre Courtieu
2007-03-19Fix links to BUGS and FAQDavid Aspinall
2007-03-17Mention coq-utf-safeDavid Aspinall
2007-03-12Prefer emacs before xemacs nowDavid Aspinall
2007-03-12Set version tag for new release.David Aspinall
2007-03-12Updated.David Aspinall
2007-03-08*** empty log message ***Pierre Courtieu
2007-03-04Choose Emacs instead of XEmacsDavid Aspinall
2007-03-04Choose Emacs instead of XEmacsDavid Aspinall
2007-03-04Set version tag for new release.David Aspinall
2007-03-03Updated.David Aspinall
2007-03-03Tweaks to bugs sectionDavid Aspinall
2007-03-03Set version tag for new release.David Aspinall
2007-03-03Make pdf instead of dvi, and use emacs instead of xemacs (which bombs out)David Aspinall
2007-03-03Remove old Isabelle section and references to it; clean up and streamline ↵David Aspinall
Isabelle/Isar section
2007-03-03Switch to 3.7preDavid Aspinall
2007-03-03Set version tag for new release.David Aspinall
2007-03-03Use replace-regexp instead of proof-replace-regexp to clean charsDavid Aspinall
2007-03-03Patch for XEmacs 21.5 beta match-replace bugDavid Aspinall
2007-02-28Remove proof-indent-pad-eol atrocityDavid Aspinall
2007-02-28Updated.David Aspinall
2007-02-28Fix commentDavid Aspinall
2007-02-28Renamed fileDavid Aspinall
2007-02-27Note on sudo and cp -p clashDavid Aspinall
2007-02-22Mention prefer-coding-system as suggested by Florian HaftmannDavid Aspinall
2007-02-08New files.David Aspinall
2007-01-20Patch x-symbol problem with XEmacs betaDavid Aspinall
2007-01-20Correct mail domainDavid Aspinall
2007-01-20Tweak.David Aspinall
2007-01-10Comment about undo; useDavid Aspinall
2007-01-09Set version tag for new release.David Aspinall
2007-01-03Demonstrate faulty error reporting. Somewhat obscure, unless someDavid Aspinall
tactics are using Output.error_msg rather than the "error" function.
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-24 17:42:37 +0000