From 729ff51867c574f0a1464f6b9cde2bcf7165d592 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 10 Mar 2010 22:14:16 +0000 Subject: Update date --- README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README b/README index 5b0c1638..c4e23dba 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 -September 2009. +April 2010. -- cgit v1.2.3