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
...
*
Patch x-symbol problem with XEmacs beta
David Aspinall
2007-01-20
*
Correct mail domain
David Aspinall
2007-01-20
*
Tweak.
David Aspinall
2007-01-20
*
Comment about undo; use
David Aspinall
2007-01-10
*
Set version tag for new release.
David Aspinall
2007-01-09
*
Demonstrate faulty error reporting. Somewhat obscure, unless some
David Aspinall
2007-01-03
*
Add FAQ on funny symbols/x-symbol problems
David Aspinall
2007-01-03
*
Compatibility notes
David Aspinall
2007-01-03
*
tuned;
Makarius Wenzel
2006-12-30
*
Added some keywords ("Declare Module Import"...).
Pierre Courtieu
2006-12-22
*
Remove thy-mode from isa
David Aspinall
2006-12-20
*
Remove isa dir
David Aspinall
2006-12-20
*
Set version tag for new release.
David Aspinall
2006-12-20
*
Support older version of define-minor-mode
David Aspinall
2006-12-19
*
Added completion to coq-prog-name asking.
Pierre Courtieu
2006-12-13
*
Fixed keyboard shortcuts.
Pierre Courtieu
2006-12-12
*
Fixed coq 8.0 compatibility and coq version detection.
Pierre Courtieu
2006-12-12
*
Set version tag for new release.
David Aspinall
2006-12-11
*
Update, note about Isabelle 2004
David Aspinall
2006-12-11
*
back again for isar;
Makarius Wenzel
2006-12-07
*
isar-keywords-theory-enclose: isar-keywords-theory-switch is back again (in p...
Makarius Wenzel
2006-12-07
*
removed obsolete references to 'isa';
Makarius Wenzel
2006-12-07
*
proof-shell-pre-interrupt-hook: removed obsolete Poly/ML 3 setup, which break...
Makarius Wenzel
2006-12-07
*
New files.
David Aspinall
2006-12-05
*
Deleted file
David Aspinall
2006-12-05
*
X-Symbol config. Moved from isa/
David Aspinall
2006-12-05
*
Use Isar-specific isabelle-system file
David Aspinall
2006-12-05
*
Set version tag for new release.
David Aspinall
2006-11-07
*
isar-keywords-theory-enclose: removed isar-keywords-theory-switch, which usua...
Makarius Wenzel
2006-11-04
*
isar-strip-terminators, isar-detect-begin: proof-search-forward;
Makarius Wenzel
2006-11-04
*
New files.
David Aspinall
2006-10-29
*
Updated.
David Aspinall
2006-10-29
*
Set version tag for new release.
David Aspinall
2006-10-27
*
Rationalise testing for different values of window-system, to/and support mor...
David Aspinall
2006-10-27
*
Error highlighting in coq only when scripting (not when sending
Pierre Courtieu
2006-10-23
*
reintroduced pg-subterm-first-special-char, which makes PG strip goal markup;
Makarius Wenzel
2006-10-11
*
isar-keywords-indent-enclose: include "begin" keyword;
Makarius Wenzel
2006-10-11
*
added regexps for begin/end and theory start;
Makarius Wenzel
2006-10-11
*
removed obsolete isar-detect-header;
Makarius Wenzel
2006-10-11
*
Fix for coq-utf-safe.
Pierre Courtieu
2006-10-06
*
utf safe coq mode is not linked to proof-shell-unicode, as unicode is
Pierre Courtieu
2006-09-29
*
adapting to proof-shell-unicode. Coq has not been adapted to the
Pierre Courtieu
2006-09-29
*
Simplified prompt regexp for coq, preparing new prompt delimiters
Pierre Courtieu
2006-09-29
*
fixed a bug with wakeup char for coq.
Pierre Courtieu
2006-09-29
*
Added \x6 as a possible wakeup char for coq. For the moment this
Pierre Courtieu
2006-09-25
*
Set version tag for new release.
David Aspinall
2006-09-24
*
Tweaks to buffer history mode. Still intermediate version.
David Aspinall
2006-09-24
*
Deleted file
David Aspinall
2006-09-24
*
Add buffer history browsing
David Aspinall
2006-09-24
*
Fix typo.
David Aspinall
2006-09-22
[prev]
[next]