aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Collapse)AuthorAge
...
* Add proof-replace-regexp-nocasefoldGravatar David Aspinall2007-05-10
|
* Fixed prompt regexp.Gravatar Pierre Courtieu2007-05-10
|
* Never use special chars with >= coq-8.1.Gravatar Pierre Courtieu2007-05-10
| | | | | proof-shell-unicode set to nil by default because of xemacs which needs a library for utf-8.
* Fixed coq prog persistent setting.Gravatar Pierre Courtieu2007-05-10
|
* x-symbol-isabelle-font-lock-regexp: demand subsequent non-space character;Gravatar Makarius Wenzel2007-05-08
|
* undo: removed confusing comment;Gravatar Makarius Wenzel2007-05-08
|
* tuned cannot-undo;Gravatar Makarius Wenzel2007-05-08
|
* added isar-cmd-sledgehammer;Gravatar Makarius Wenzel2007-05-08
|
* tuned Isabelle entry;Gravatar Makarius Wenzel2007-05-08
|
* tuned pg-special-char-regexp;Gravatar Makarius Wenzel2007-05-08
|
* Make proof-shell-unicode non-nil by defaultGravatar David Aspinall2007-04-30
|
* Experimenting smarter window creation when in three windowsGravatar Pierre Courtieu2007-04-27
| | | | mode. Strategy is: always try to split an associated buffer window.
* Fixing auto shrink in coq three window mode, to avoid windowGravatar Pierre Courtieu2007-04-26
| | | | disappearing.
* Fixed the "Time Qed." mistreating (now recognized as a save commandGravatar Pierre Courtieu2007-04-26
| | | | and make spans agregation ok).
* Added some unknown keyword (not changing state). Fixes bug 113 from emakarov.MGravatar Pierre Courtieu2007-04-26
|
* Small fixes.Gravatar Pierre Courtieu2007-04-25
|
* small coloring fix.Gravatar Pierre Courtieu2007-04-23
|
* Fixed bug 111. Scroll response window to see goal and as muchGravatar Pierre Courtieu2007-04-23
| | | | hypothesis as possible.
* Fixing bug 110 for SearchRewrite en SearchAbout coq commends.Gravatar Pierre Courtieu2007-04-23
|
* Adapting last features to fsf emacs.Gravatar Pierre Courtieu2007-04-23
|
* Clean comments around eval-and-compile proof-modeGravatar David Aspinall2007-04-23
|
* Added things in CHANGES.Gravatar Pierre Courtieu2007-04-23
|
* Adapting error highlighting (coq) to x-symbol.Gravatar Pierre Courtieu2007-04-20
|
* Add a shrink adapting hook for coq response buffer.Gravatar Pierre Courtieu2007-04-20
|
* Adding comments to experimental response buffer height adapting.Gravatar Pierre Courtieu2007-04-18
|
* Experimental feature: in three buffer mode: shrink response window asGravatar Pierre Courtieu2007-04-16
| | | | much as possible.
* Fixed a parenthesis, suggested by Stefan Monnier.Gravatar Pierre Courtieu2007-04-16
|
* Small fixes from Stefan Monnier.Gravatar Pierre Courtieu2007-04-16
|
* Patch from Stefan Monnier.Gravatar Pierre Courtieu2007-04-16
|
* Adapted to hybrid response/goals outputs from coq. We need somethingGravatar Pierre Courtieu2007-04-16
| | | | generic on that. Currently I use proof-shell-process-output-system-specific.
* Made coq version 8.1 the default.Gravatar Pierre Courtieu2007-04-16
|
* Change in a regexp for coq-shell-prompt.Gravatar Pierre Courtieu2007-03-26
|
* Fix links to BUGS and FAQGravatar David Aspinall2007-03-19
|
* Mention coq-utf-safeGravatar David Aspinall2007-03-17
|
* Prefer emacs before xemacs nowGravatar David Aspinall2007-03-12
|
* Set version tag for new release.Gravatar David Aspinall2007-03-12
|
* Updated.Gravatar David Aspinall2007-03-12
|
* *** empty log message ***Gravatar Pierre Courtieu2007-03-08
|
* Choose Emacs instead of XEmacsGravatar David Aspinall2007-03-04
|
* Choose Emacs instead of XEmacsGravatar David Aspinall2007-03-04
|
* Set version tag for new release.Gravatar David Aspinall2007-03-04
|
* Updated.Gravatar David Aspinall2007-03-03
|
* Tweaks to bugs sectionGravatar David Aspinall2007-03-03
|
* Set version tag for new release.Gravatar David Aspinall2007-03-03
|
* Make pdf instead of dvi, and use emacs instead of xemacs (which bombs out)Gravatar David Aspinall2007-03-03
|
* Remove old Isabelle section and references to it; clean up and streamline ↵Gravatar David Aspinall2007-03-03
| | | | Isabelle/Isar section
* Switch to 3.7preGravatar David Aspinall2007-03-03
|
* Set version tag for new release.Gravatar David Aspinall2007-03-03
|
* Use replace-regexp instead of proof-replace-regexp to clean charsGravatar David Aspinall2007-03-03
|
* Patch for XEmacs 21.5 beta match-replace bugGravatar David Aspinall2007-03-03
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 14:15:16 +0000