From 582a46965f00ed0777c0a8d30c47cdca92fdddf8 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 24 Aug 2010 19:06:43 +0000 Subject: Updated --- README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README') diff --git a/README b/README index d34663ac..9fca98ff 100644 --- a/README +++ b/README @@ -42,4 +42,4 @@ For the latest news and downloads, visit Proof General on the web at: http://proofgeneral.inf.ed.ac.uk David Aspinall -August 2010. +September 2010. -- cgit v1.2.3