| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Set version tag for new release. |  David Aspinall | 2001-08-30 |
| * | Note about XEmacs 21 and x-symbol | David Aspinall | 2001-08-30 |
| * | Set version tag for new release. | David Aspinall | 2001-08-28 |
| * | Improve stylesheet syntax, make menubar smaller | David Aspinall | 2001-08-28 |
| * | Set version tag for new release. | David Aspinall | 2001-08-17 |
| * | Set version tag for new release. | David Aspinall | 2001-08-16 |
| * | Add link to browse files | David Aspinall | 2001-08-16 |
| * | Add link to browse package | David Aspinall | 2001-08-16 |
| * | Add link to individual files | David Aspinall | 2001-08-16 |
| * | Fix screenshots link | David Aspinall | 2001-08-15 |
| * | Fix again. | David Aspinall | 2001-08-15 |
| * | Fix link | David Aspinall | 2001-08-15 |
| * | Set version tag for new release. | David Aspinall | 2001-08-10 |
| * | Set version tag for new release. | David Aspinall | 2001-08-03 |
| * | Fix link back to fileshow.php | David Aspinall | 2001-08-03 |
| * | Renamed file | David Aspinall | 2001-08-03 |
| * | Fix screenshot link | David Aspinall | 2001-08-03 |
| * | Fix links to gallery | David Aspinall | 2001-08-01 |
| * | Deleted files. | David Aspinall | 2001-08-01 |
| * | Renamed file | David Aspinall | 2001-08-01 |
| * | Moved to .php | David Aspinall | 2001-08-01 |
| * | Fix typo | David Aspinall | 2001-08-01 |
| * | Renamed file | David Aspinall | 2001-08-01 |
| * | Added news | David Aspinall | 2001-08-01 |
| * | Set version tag for new release. | David Aspinall | 2001-08-01 |
| * | Set version tag for new release. | David Aspinall | 2001-07-23 |
| * | Set version tag for new release. | David Aspinall | 2001-07-09 |
| * | Fix Coq link. | David Aspinall | 2001-05-29 |
| * | Set version tag for new release. | David Aspinall | 2001-05-29 |
| * | Fix layout and typo. | David Aspinall | 2001-05-29 |
| * | Include PHP file | David Aspinall | 2001-05-29 |
| * | Renamed file | David Aspinall | 2001-05-29 |
| * | PHP version. Also dont mention junk filters. | David Aspinall | 2001-05-29 |
| * | Set version tag for new release. | David Aspinall | 2001-05-16 |
| * | Repair link via htmlshow.php | David Aspinall | 2001-05-08 |
| * | Set version tag for new release. | David Aspinall | 2001-05-08 |
| * | Set version tag for new release. | David Aspinall | 2001-05-08 |
| * | preliminary -> experimental | David Aspinall | 2001-05-08 |
| * | No longer distrib SRPM | David Aspinall | 2001-05-08 |
| * | New news item | David Aspinall | 2001-05-08 |
| * | Set version tag for new release. | David Aspinall | 2001-05-01 |
| * | Change link to kit | David Aspinall | 2001-05-01 |
| * | Change link to register page | David Aspinall | 2001-05-01 |
| * | Include php file | David Aspinall | 2001-05-01 |
| * | Register and kit shortcuts | David Aspinall | 2001-05-01 |
| * | Link to php files instead of html | David Aspinall | 2001-05-01 |
| * | Include php instead of html | David Aspinall | 2001-05-01 |
| * | Rename some html files php | David Aspinall | 2001-05-01 |
| * | Deleted files. | David Aspinall | 2001-05-01 |
| * | Fixes to main page | David Aspinall | 2001-03-20 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |