index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
generic
/
pg-assoc.el
Age
Commit message (
Expand
)
Author
2018-12-13
Use `cl-lib` instead of `cl` everywhere
Stefan Monnier
2018-08-23
Fix most doc issues raised by (checkdoc)
Erik Martin-Dorel
2018-02-21
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2017-03-08
Remove unnecessary calls to 'eval-and-compile'
Clément Pit--Claudel
2015-11-13
Experimenting less brutal frame deletion.
Pierre Courtieu
2015-10-09
Trying to not delete frames too eagerly when laying out.
Pierre Courtieu
2010-08-08
Checkdoc cleanups
David Aspinall
2009-09-10
Clean compile
David Aspinall
2009-09-05
Clean whitespace
David Aspinall
2008-07-24
Merge changes from Version4Branch.
David Aspinall
2008-01-31
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-16
Reduce compiler warnings. Minor fixes.
David Aspinall
2008-01-16
Compilation tweaks
David Aspinall
2008-01-15
Comments.
David Aspinall
2008-01-15
Many rearrangements for compatibility, efficient/correct compilation, namespa...
David Aspinall
2007-12-14
proof-associated-windows: rewrite naively to remove proof-list-filter
David Aspinall
2007-08-19
pg-assoc-strip-subterm-markup-buf: cache pg-assoc-ann-regexp
David Aspinall
2007-08-14
Add support for sending back literal commands reusing PBP markup mechanisms.
David Aspinall
2007-04-27
Experimenting smarter window creation when in three windows
Pierre Courtieu
2004-04-17
Minor changes to avoid some compiler warnings
David Aspinall
2002-08-16
Robustness against pg-subterm-start-char not being set.
David Aspinall
2002-08-15
New files.
David Aspinall