Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Reduce compiler warnings. Minor fixes. | 2008-01-16 | |
* | Compilation tweaks | 2008-01-16 | |
* | Comments. | 2008-01-15 | |
* | Many rearrangements for compatibility, efficient/correct compilation, namespa... | 2008-01-15 | |
* | 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 | |
* | 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 |