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
/
pg-assoc.el
Commit message (
Expand
)
Author
Age
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Make mouse 1 binding compatible also with XEmacs.
David Aspinall
2008-01-31
*
Add a mouse-1 binding for active areas in goals/response output.
David Aspinall
2008-01-31
*
Reduce compiler warnings. Minor fixes.
David Aspinall
2008-01-16
*
Compilation tweaks
David Aspinall
2008-01-16
*
Comments.
David Aspinall
2008-01-15
*
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2008-01-15
*
proof-associated-windows: rewrite naively to remove proof-list-filter
David Aspinall
2007-12-14
*
pg-assoc-strip-subterm-markup-buf: cache pg-assoc-ann-regexp
David Aspinall
2007-08-19
*
Add support for sending back literal commands reusing PBP markup mechanisms.
David Aspinall
2007-08-14
*
Experimenting smarter window creation when in three windows
Pierre Courtieu
2007-04-27
*
Minor changes to avoid some compiler warnings
David Aspinall
2004-04-17
*
Robustness against pg-subterm-start-char not being set.
David Aspinall
2002-08-16
*
New files.
David Aspinall
2002-08-15