Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Minor change | David Aspinall | 2000-09-29 |
| | |||
* | Click to go back links to root. | David Aspinall | 2000-09-29 |
| | |||
* | Remove messy link_root links. | David Aspinall | 2000-09-29 |
| | |||
* | Short file instead of a link, so works in CVS. Bit annoying to duplicate, ↵ | David Aspinall | 2000-09-29 |
| | | | | but never mind. | ||
* | Links for shortcut URLs. | David Aspinall | 2000-09-29 |
| | |||
* | Mention needed server hacks | David Aspinall | 2000-09-29 |
| | |||
* | Remove link_root nonsense | David Aspinall | 2000-09-29 |
| | |||
* | Moved to use .html instead of .phtml | David Aspinall | 2000-09-28 |
| | |||
* | Renamed files | David Aspinall | 2000-09-28 |
| | |||
* | Renamed file | David Aspinall | 2000-09-28 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-28 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-27 |
| | |||
* | Already shrunken general for buggy browsers benefit. | David Aspinall | 2000-09-27 |
| | |||
* | Updated web pages, misc improvements. | David Aspinall | 2000-09-27 |
| | |||
* | Working home page for PG kit | David Aspinall | 2000-09-27 |
| | |||
* | Added kit stuff: just copies of the DTDs at the moment. | David Aspinall | 2000-09-27 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-26 |
| | |||
* | Link to Isar instead of Isar/README. | David Aspinall | 2000-09-26 |
| | |||
* | Fix Pauls web address | David Aspinall | 2000-09-26 |
| | |||
* | Fix Proof General web page to www.proofgeneral.org. | David Aspinall | 2000-09-26 |
| | |||
* | Typo | David Aspinall | 2000-09-26 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-25 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-23 |
| | |||
* | Forthcoming news item | David Aspinall | 2000-09-23 |
| | |||
* | Use prover-specific logos rather than generic ones... | David Aspinall | 2000-09-23 |
| | |||
* | Changed size of image | David Aspinall | 2000-09-23 |
| | |||
* | Minor | David Aspinall | 2000-09-23 |
| | |||
* | Add prover-specific logo rather than generic ones... | David Aspinall | 2000-09-23 |
| | |||
* | Image of the general with ??? badge | David Aspinall | 2000-09-23 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-21 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-20 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-18 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-14 |
| | |||
* | Updates | David Aspinall | 2000-09-14 |
| | |||
* | Shrunk a bit | David Aspinall | 2000-09-14 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-13 |
| | |||
* | Minor changes and improvements | David Aspinall | 2000-09-13 |
| | |||
* | Reduced sizes of images. | David Aspinall | 2000-09-13 |
| | |||
* | Revamp style a bit -- not so good with netscape but OK elsewhere. | David Aspinall | 2000-09-13 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-12 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-09-11 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-08-29 |
| | |||
* | Tweak | David Aspinall | 2000-08-29 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-08-28 |
| | |||
* | News updated | David Aspinall | 2000-08-28 |
| | |||
* | Link to two manuals now. | David Aspinall | 2000-08-28 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-08-09 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-07-26 |
| | |||
* | Set version tag for new release. | David Aspinall | 2000-07-16 |
| | |||
* | Modified, now white paper contains DTDs (soon) | David Aspinall | 2000-07-16 |
| |