Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | New files. | 2002-11-18 | ||
* | Set version tag for new release. | 2002-11-11 | ||
* | Set version tag for new release. | 2002-11-08 | ||
* | Set version tag for new release. | 2002-09-16 | ||
* | Set version tag for new release. | 2002-09-11 | ||
* | Deleted files. | 2002-09-11 | ||
* | New files. | 2002-09-11 | ||
* | Add comment at end | 2002-09-11 | ||
* | Set version tag for new release. | 2002-08-31 | ||
* | Set version tag for new release. | 2002-08-30 | ||
* | New files. | 2002-08-30 | ||
* | Set version tag for new release. | 2002-08-29 | ||
* | Updated. | 2002-08-29 | ||
* | Updated. | 2002-08-29 | ||
* | Updated. | 2002-08-29 | ||
* | Deleted files. | 2002-08-29 | ||
* | Updated. | 2002-08-29 | ||
* | Set version tag for new release. | 2002-08-29 | ||
* | Updated. | 2002-08-29 | ||
* | 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 |