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
*
Avoid compilation error
David Aspinall
2007-08-19
*
pg-topterm-char -> pg-topterm-regexp
David Aspinall
2007-08-19
*
Set version tag for new release.
David Aspinall
2007-08-19
*
pg-assoc-strip-subterm-markup-buf: cache pg-assoc-ann-regexp
David Aspinall
2007-08-19
*
Fix to proof-defintset-fn so that correct current value is displayed.
David Aspinall
2007-08-19
*
Fix attribute for proof-active-area-face
David Aspinall
2007-08-19
*
Only analyse structure for region of appended text
David Aspinall
2007-08-19
*
proof-active-area-face: highlighting face for active area
David Aspinall
2007-08-19
*
Test ProofGeneral.sendback
David Aspinall
2007-08-19
*
pg-topterm-regexp: use special 376. isar-goalhyplit-test: Delete closing mark...
David Aspinall
2007-08-19
*
Comments
David Aspinall
2007-08-19
*
proof-append-alist: detach queue span if no commands after comments stripped.
David Aspinall
2007-08-19
*
removed outated comment;
Makarius Wenzel
2007-08-15
*
isar-goalhyplit-test: explicit end-marker;
Makarius Wenzel
2007-08-15
*
Add support for sending back literal commands reusing PBP markup mechanisms.
David Aspinall
2007-08-14
*
Add unload utility for development
David Aspinall
2007-08-14
*
Added new keywords.
Pierre Courtieu
2007-07-12
*
Set version tag for new release.
David Aspinall
2007-07-04
*
Revert html target to not include dir (although it builds in dir)
David Aspinall
2007-06-19
*
New subdirs for html
David Aspinall
2007-06-19
*
Fix broken texi magic strings.
David Aspinall
2007-06-19
*
Account for new default behaviour of texi2html, using subdir for manuals
David Aspinall
2007-06-19
*
Fix comment
David Aspinall
2007-06-19
*
Set version tag for new release.
David Aspinall
2007-06-19
*
isar-improper-regexp: include "prems";
Makarius Wenzel
2007-06-14
*
single-char-regexp: tuned symbol regexp;
Makarius Wenzel
2007-06-14
*
isar-font-lock-local: tuned symbol regexp;
Makarius Wenzel
2007-06-14
*
added information about optional "Find Theorems" form;
Makarius Wenzel
2007-06-13
*
reverted find theorems default from form to minibuffer
weber
2007-06-11
*
Updated.
David Aspinall
2007-06-10
*
New files.
David Aspinall
2007-06-10
*
Cleanup mac init, make it compile safe
David Aspinall
2007-06-10
*
Set version tag for new release.
David Aspinall
2007-06-10
*
Set version tag for new release.
David Aspinall
2007-06-08
*
Set version tag for new release.
David Aspinall
2007-06-05
*
Updated.
David Aspinall
2007-05-25
*
New files.
David Aspinall
2007-05-25
*
Fix #114: syntax highlighting mistake for identifiers beginning with fun/forall.
David Aspinall
2007-05-25
*
XEmacs 21.4.15 does not seem to know propertize
weber
2007-05-17
*
Comment on remove of proof-indent-pad-eol
David Aspinall
2007-05-15
*
Clarify buf hist activation.
David Aspinall
2007-05-15
*
Fix rename
weber
2007-05-11
*
Fix rename
weber
2007-05-11
*
works with XEmacs now (ticket #115)
weber
2007-05-11
*
Fix rename
David Aspinall
2007-05-11
*
Rename [proof]find-theorems -> isar-find-theorems
David Aspinall
2007-05-11
*
Renamed file
David Aspinall
2007-05-11
*
Renamed file
David Aspinall
2007-05-11
*
Experimental patch for unicode/mac support
David Aspinall
2007-05-11
*
Unicode patch, in progress
David Aspinall
2007-05-11
[next]