index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
...
*
Never use special chars with >= coq-8.1.
Pierre Courtieu
2007-05-10
*
Fixed coq prog persistent setting.
Pierre Courtieu
2007-05-10
*
x-symbol-isabelle-font-lock-regexp: demand subsequent non-space character;
Makarius Wenzel
2007-05-08
*
undo: removed confusing comment;
Makarius Wenzel
2007-05-08
*
tuned cannot-undo;
Makarius Wenzel
2007-05-08
*
added isar-cmd-sledgehammer;
Makarius Wenzel
2007-05-08
*
tuned Isabelle entry;
Makarius Wenzel
2007-05-08
*
tuned pg-special-char-regexp;
Makarius Wenzel
2007-05-08
*
Make proof-shell-unicode non-nil by default
David Aspinall
2007-04-30
*
Experimenting smarter window creation when in three windows
Pierre Courtieu
2007-04-27
*
Fixing auto shrink in coq three window mode, to avoid window
Pierre Courtieu
2007-04-26
*
Fixed the "Time Qed." mistreating (now recognized as a save command
Pierre Courtieu
2007-04-26
*
Added some unknown keyword (not changing state). Fixes bug 113 from emakarov.M
Pierre Courtieu
2007-04-26
*
Small fixes.
Pierre Courtieu
2007-04-25
*
small coloring fix.
Pierre Courtieu
2007-04-23
*
Fixed bug 111. Scroll response window to see goal and as much
Pierre Courtieu
2007-04-23
*
Fixing bug 110 for SearchRewrite en SearchAbout coq commends.
Pierre Courtieu
2007-04-23
*
Adapting last features to fsf emacs.
Pierre Courtieu
2007-04-23
*
Clean comments around eval-and-compile proof-mode
David Aspinall
2007-04-23
*
Added things in CHANGES.
Pierre Courtieu
2007-04-23
*
Adapting error highlighting (coq) to x-symbol.
Pierre Courtieu
2007-04-20
*
Add a shrink adapting hook for coq response buffer.
Pierre Courtieu
2007-04-20
*
Adding comments to experimental response buffer height adapting.
Pierre Courtieu
2007-04-18
*
Experimental feature: in three buffer mode: shrink response window as
Pierre Courtieu
2007-04-16
*
Fixed a parenthesis, suggested by Stefan Monnier.
Pierre Courtieu
2007-04-16
*
Small fixes from Stefan Monnier.
Pierre Courtieu
2007-04-16
*
Patch from Stefan Monnier.
Pierre Courtieu
2007-04-16
*
Adapted to hybrid response/goals outputs from coq. We need something
Pierre Courtieu
2007-04-16
*
Made coq version 8.1 the default.
Pierre Courtieu
2007-04-16
*
Change in a regexp for coq-shell-prompt.
Pierre Courtieu
2007-03-26
*
Fix links to BUGS and FAQ
David Aspinall
2007-03-19
*
Mention coq-utf-safe
David Aspinall
2007-03-17
*
Prefer emacs before xemacs now
David Aspinall
2007-03-12
*
Set version tag for new release.
David Aspinall
2007-03-12
*
Updated.
David Aspinall
2007-03-12
*
*** empty log message ***
Pierre Courtieu
2007-03-08
*
Choose Emacs instead of XEmacs
David Aspinall
2007-03-04
*
Choose Emacs instead of XEmacs
David Aspinall
2007-03-04
*
Set version tag for new release.
David Aspinall
2007-03-04
*
Updated.
David Aspinall
2007-03-03
*
Tweaks to bugs section
David Aspinall
2007-03-03
*
Set version tag for new release.
David Aspinall
2007-03-03
*
Make pdf instead of dvi, and use emacs instead of xemacs (which bombs out)
David Aspinall
2007-03-03
*
Remove old Isabelle section and references to it; clean up and streamline Isa...
David Aspinall
2007-03-03
*
Switch to 3.7pre
David Aspinall
2007-03-03
*
Set version tag for new release.
David Aspinall
2007-03-03
*
Use replace-regexp instead of proof-replace-regexp to clean chars
David Aspinall
2007-03-03
*
Patch for XEmacs 21.5 beta match-replace bug
David Aspinall
2007-03-03
*
Remove proof-indent-pad-eol atrocity
David Aspinall
2007-02-28
*
Updated.
David Aspinall
2007-02-28
[prev]
[next]