diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 14:57:10 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-06-24 14:57:10 +0000 |
| commit | 4162624976e6339d0a835f8ab3d213da29f63647 (patch) | |
| tree | a1146065e1a9164c30fcaf7635ce36dd309a2ab9 /README | |
| parent | 08ab36ffac1ca711b5630dfc7e1d8a6cc8486381 (diff) | |
Updates for new web pages, todo list.
Diffstat (limited to 'README')
| -rw-r--r-- | README | 8 |
1 files changed, 5 insertions, 3 deletions
@@ -10,15 +10,17 @@ Please help us with this aim! Configure Proof General for your proof assistant, by adding features at the generic level wherever possible. Send ideas, comments, patches, code to proofgen@dcs.ed.ac.uk. - See INSTALL for installation details. See COPYING for license details. See doc/ for documentation of Proof General. +For the latest news and downloads, check the Proof General web page +at: http://www.dcs.ed.ac.uk/home/proofgen + -David Aspinall & Thomas Kleymann -November 1998. +David Aspinall. +July 1999. |