diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-08-08 10:18:39 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-08 10:18:39 +0000 |
| commit | 652cb3be7214148861c51a3dd0ca63de683c71de (patch) | |
| tree | 098a07e503970a9556be98f573fdd7f8a4602783 /README | |
| parent | f810ee2ebc41844c07458888a0030dcf5122a988 (diff) | |
Updates
Diffstat (limited to 'README')
| -rw-r--r-- | README | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -4,7 +4,7 @@ Proof General --- Organize your proofs! Proof General is a generic Emacs interface for proof assistants. This is version 3.4 of Proof General. -(Check the About screen for precise version number). +(Check the About screen for a precise version number). The aim of the Proof General project is to provide a powerful and configurable interfaces which help user-interaction with interactive @@ -50,7 +50,7 @@ mailing list for Proof General, visit Proof General on the web at: http://www.proofgeneral.org David Aspinall <da@proofgeneral.org> -July 2002. +August 2002. ----- |