Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Checkdoc cleanups | 2010-08-08 | |
| | |||
* | Clean compile | 2009-09-10 | |
| | |||
* | Clean whitespace | 2009-09-05 | |
| | |||
* | Merge changes from Version4Branch. | 2008-07-24 | |
| | |||
* | Make mouse 1 binding compatible also with XEmacs. | 2008-01-31 | |
| | |||
* | Add a mouse-1 binding for active areas in goals/response output. | 2008-01-31 | |
| | |||
* | Reduce compiler warnings. Minor fixes. | 2008-01-16 | |
| | |||
* | Compilation tweaks | 2008-01-16 | |
| | |||
* | Comments. | 2008-01-15 | |
| | |||
* | Many rearrangements for compatibility, efficient/correct compilation, ↵ | 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 | 2007-12-14 | |
| | |||
* | pg-assoc-strip-subterm-markup-buf: cache pg-assoc-ann-regexp | 2007-08-19 | |
| | |||
* | Add support for sending back literal commands reusing PBP markup mechanisms. | 2007-08-14 | |
| | |||
* | Experimenting smarter window creation when in three windows | 2007-04-27 | |
| | | | | mode. Strategy is: always try to split an associated buffer window. | ||
* | Minor changes to avoid some compiler warnings | 2004-04-17 | |
| | |||
* | Robustness against pg-subterm-start-char not being set. | 2002-08-16 | |
| | |||
* | New files. | 2002-08-15 | |