Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Remove bogus file | 2002-08-29 | |
* | Update comment | 2002-08-29 | |
* | Missing mkdir | 2002-08-29 | |
* | Set version tag for new release. | 2002-08-29 | |
* | Set version tag for new release. | 2002-08-29 | |
* | Updated | 2002-08-29 | |
* | Support dekstop entries for KDE and GNOME, tested in RedHat 7.3 | 2002-08-29 | |
* | Desktop file for KDE. | 2002-08-29 | |
* | Set version tag for new release. | 2002-08-29 | |
* | Set version tag for new release. | 2002-08-29 | |
* | Updating branch | 2002-08-29 | |
* | Set version tag for new release. | 2002-08-29 | |
* | Updated. | 2002-08-29 | |
* | New files. | 2002-08-29 | |
* | Set version tag for new release. | 2002-08-29 | |
* | Borrowed as example | 2002-08-28 | |
* | Exercise bug in pg-remove-specials breaking x-sym display in Isabelle | 2002-08-28 | |
* | Update intros. | 2002-08-28 | |
* | Set version tag for new release. | 2002-08-27 | |
* | Updated | 2002-08-27 | |
* | Set version tag for new release. | 2002-08-26 | |
* | New files. | 2002-08-26 | |
* | Set version tag for new release. | 2002-08-16 | |
* | More info | 2002-08-16 | |
* | Updated | 2002-08-16 | |
* | Set version tag for new release. | 2002-08-12 | |
* | Set version tag for new release. | 2002-08-09 | |
* | New files. | 2002-08-09 | |
* | More comments | 2002-08-09 | |
* | New files. | 2002-08-09 | |
* | Set version tag for new release. | 2002-08-08 | |
* | Set version tag for new release. | 2002-08-07 | |
* | Set version tag for new release. | 2002-07-19 | |
* | Updated. | 2002-07-19 | |
* | Investigation of proof-zap-commas failure in GNU Emacs; comments, no results. | 2002-07-18 | |
* | Record bug as solved. | 2002-07-18 | |
* | New files. | 2002-07-18 | |
* | More tests | 2002-07-18 | |
* | More comments on current bugs | 2002-07-18 | |
* | New files. | 2002-07-18 | |
* | fix README rename. | 2002-07-18 | |
* | Set version tag for new release. | 2002-07-18 | |
* | Rename READMEs for different provers so dont clash with doc directive. | 2002-07-18 | |
* | Update towards 3.4 | 2002-07-18 | |
* | Set version tag for new release. | 2002-07-17 | |
* | Refactor several variable names; clean up, doc subterm markup and output disp... | 2002-07-16 | |
* | Add { and } example | 2002-07-16 | |
* | Updated. | 2002-07-16 | |
* | Set version tag for new release. | 2002-07-16 | |
* | Example of using pbp | 2002-07-16 |