index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
Commit message (
Expand
)
Author
Age
...
*
Clean comments around eval-and-compile proof-mode
David Aspinall
2007-04-23
*
Fixed a parenthesis, suggested by Stefan Monnier.
Pierre Courtieu
2007-04-16
*
Fix links to BUGS and FAQ
David Aspinall
2007-03-19
*
Set version tag for new release.
David Aspinall
2007-03-12
*
Set version tag for new release.
David Aspinall
2007-03-04
*
Set version tag for new release.
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
*
Remove proof-indent-pad-eol atrocity
David Aspinall
2007-02-28
*
Tweak.
David Aspinall
2007-01-20
*
Set version tag for new release.
David Aspinall
2007-01-09
*
Set version tag for new release.
David Aspinall
2006-12-20
*
Set version tag for new release.
David Aspinall
2006-12-11
*
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
*
Set version tag for new release.
David Aspinall
2006-11-07
*
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
*
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
*
Cut comint input ring, minor efficiency tweak.
David Aspinall
2006-09-22
*
Comments.
David Aspinall
2006-09-22
*
Set version tag for new release.
David Aspinall
2006-09-22
*
Updated.
David Aspinall
2006-09-22
*
Set version tag for new release.
David Aspinall
2006-09-12
*
Set version tag for new release.
David Aspinall
2006-09-09
*
Set version tag for new release.
David Aspinall
2006-09-07
*
Making error highlighting more robust (for both emacsen) and use a
Pierre Courtieu
2006-09-06
*
Error highliting in coq now works
Pierre Courtieu
2006-09-05
*
Set version tag for new release.
David Aspinall
2006-08-28
*
Coq indentation small fixes.
Pierre Courtieu
2006-08-23
*
Comments and docstring fixes in lib and generic.
Pierre Courtieu
2006-08-23
*
Fixed messages of prover process starting and errors in order to have
Pierre Courtieu
2006-08-16
*
Set version tag for new release.
David Aspinall
2006-05-26
*
Add back 'raw-text setting, now LANG settings aren't taking effect again [me:...
David Aspinall
2006-05-26
*
Updated.
David Aspinall
2006-05-26
*
Add C-g watcher for trace buffer
David Aspinall
2006-05-26
*
Fix to remove mention of coding-system-for-write, coding-system-for-read not ...
David Aspinall
2006-05-23
*
Changed the type of proof-goal-command-p. It takes now a span, which
Pierre Courtieu
2006-04-26
*
back to using sym-lock ... x-symbol will not be supported anymore for PhoX + ...
Christophe Raffalli
2006-02-24
*
Set version tag for new release.
David Aspinall
2006-02-14
*
Revert use of 'raw-text for coding-system-for-read/write since it changes beh...
David Aspinall
2006-02-14
*
Add back lost edits
David Aspinall
2006-02-14
*
Add <PA>-prog-args and <PA>-prog-env
David Aspinall
2006-02-14
*
PG 3.6: remove Info item from toolbar; it's not very useful and under PA->Hel...
David Aspinall
2006-01-09
*
Fix for coloured face specs on Aquaemacs
David Aspinall
2006-01-08
*
actually revert to revision 8.15;
Makarius Wenzel
2005-11-14
*
backtracking my change on function
Pierre Courtieu
2005-11-09
[prev]
[next]