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-goals.el
Commit message (
Expand
)
Author
Age
*
Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...
David Aspinall
2009-05-26
*
Revive sendback behaviour (using button1)
David Aspinall
2009-05-26
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Revert cursor hide in goals and response to avoid user confusion; use bar cur...
David Aspinall
2008-07-05
*
Sendback commands from response buffer sent via assert-until-point, with ordi...
David Aspinall
2008-01-31
*
Compilation tweaks
David Aspinall
2008-01-16
*
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2008-01-15
*
Use proof-shell-unicode to control whether bytes 128-255 are stripped from ou...
David Aspinall
2007-12-14
*
proof-active-area-face: highlighting face for active area
David Aspinall
2007-08-19
*
Add support for sending back literal commands reusing PBP markup mechanisms.
David Aspinall
2007-08-14
*
Add buffer history browsing
David Aspinall
2006-09-24
*
Comments.
David Aspinall
2006-09-22
*
added first (experimental) support for proof by contextual menu (pg-pbrpm.el)
Christophe Raffalli
2004-10-20
*
Fix a few compiler warnings
David Aspinall
2004-03-02
*
Cleanups/renaming: remove some dead code, also, hide results of X-Sym enabling.
David Aspinall
2003-02-19
*
Fix typo.
David Aspinall
2002-09-11
*
Short-circuit goals display if string empty.
David Aspinall
2002-09-11
*
Make font-lock-keywords buffer local for sake of Emacs 21.2.
David Aspinall
2002-08-28
*
Disable undo history for efficiency.
David Aspinall
2002-08-27
*
Try to prevent associated buffers being killed off by user.
David Aspinall
2002-08-26
*
Refactoring.
David Aspinall
2002-08-15
*
Reorganized menus; add options save function; fix capitalization of names
David Aspinall
2002-08-07
*
Comments
David Aspinall
2002-08-07
*
Fix active variable highlighting in Isabelle with X-Symbol.
David Aspinall
2002-07-18
*
Added subterm help popup facility
David Aspinall
2002-07-17
*
Refactor several variable names; clean up, doc subterm markup and output disp...
David Aspinall
2002-07-16
*
Refactoring
David Aspinall
2002-07-16