Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update copyright messages and improve the header of elisp files. | Erik Martin-Dorel | 2018-02-21 |
| | |||
* | Remove unnecessary calls to 'eval-and-compile' | Clément Pit--Claudel | 2017-03-08 |
| | |||
* | Experimenting less brutal frame deletion. | Pierre Courtieu | 2015-11-13 |
| | | | | | Only in coq mode for now. There are still some strange frame deletion some times. | ||
* | Trying to not delete frames too eagerly when laying out. | Pierre Courtieu | 2015-10-09 |
| | |||
* | Checkdoc cleanups | David Aspinall | 2010-08-08 |
| | |||
* | Clean compile | David Aspinall | 2009-09-10 |
| | |||
* | Clean whitespace | David Aspinall | 2009-09-05 |
| | |||
* | 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, ↵ | David Aspinall | 2008-01-15 |
| | | | | | | | namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs). | ||
* | 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 |
| | | | | mode. Strategy is: always try to split an associated buffer window. | ||
* | 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 |