aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-assoc.el
AgeCommit message (Expand)Author
2010-08-08Checkdoc cleanupsDavid Aspinall
2009-09-10Clean compileDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-01-31Make mouse 1 binding compatible also with XEmacs.David Aspinall
2008-01-31Add a mouse-1 binding for active areas in goals/response output.David Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-16Compilation tweaksDavid Aspinall
2008-01-15Comments.David Aspinall
2008-01-15Many rearrangements for compatibility, efficient/correct compilation, namespa...David Aspinall
2007-12-14proof-associated-windows: rewrite naively to remove proof-list-filterDavid Aspinall
2007-08-19pg-assoc-strip-subterm-markup-buf: cache pg-assoc-ann-regexpDavid Aspinall
2007-08-14Add support for sending back literal commands reusing PBP markup mechanisms.David Aspinall
2007-04-27Experimenting smarter window creation when in three windowsPierre Courtieu
2004-04-17Minor changes to avoid some compiler warningsDavid Aspinall
2002-08-16Robustness against pg-subterm-start-char not being set.David Aspinall
2002-08-15New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:18:29 +0000