aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-assoc.el
Commit message (Expand)AuthorAge
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Remove unnecessary calls to 'eval-and-compile'Gravatar Clément Pit--Claudel2017-03-08
* Experimenting less brutal frame deletion.Gravatar Pierre Courtieu2015-11-13
* Trying to not delete frames too eagerly when laying out.Gravatar Pierre Courtieu2015-10-09
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* Clean compileGravatar David Aspinall2009-09-10
* Clean whitespaceGravatar David Aspinall2009-09-05
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Make mouse 1 binding compatible also with XEmacs.Gravatar David Aspinall2008-01-31
* Add a mouse-1 binding for active areas in goals/response output.Gravatar David Aspinall2008-01-31
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Compilation tweaksGravatar David Aspinall2008-01-16
* Comments.Gravatar David Aspinall2008-01-15
* Many rearrangements for compatibility, efficient/correct compilation, namespa...Gravatar David Aspinall2008-01-15
* proof-associated-windows: rewrite naively to remove proof-list-filterGravatar David Aspinall2007-12-14
* pg-assoc-strip-subterm-markup-buf: cache pg-assoc-ann-regexpGravatar David Aspinall2007-08-19
* Add support for sending back literal commands reusing PBP markup mechanisms.Gravatar David Aspinall2007-08-14
* Experimenting smarter window creation when in three windowsGravatar Pierre Courtieu2007-04-27
* Minor changes to avoid some compiler warningsGravatar David Aspinall2004-04-17
* Robustness against pg-subterm-start-char not being set.Gravatar David Aspinall2002-08-16
* New files.Gravatar David Aspinall2002-08-15