From 462d8403fbe048aac215d809bfa72e7360384071 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 14 Jan 2011 17:07:27 +0000 Subject: Update dates and versions --- README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'README') diff --git a/README b/README index 3809498c..15ad0fb7 100644 --- a/README +++ b/README @@ -44,4 +44,4 @@ For the latest news and downloads, visit Proof General on the web at: http://proofgeneral.inf.ed.ac.uk David Aspinall -December 2010. +January 2011. -- cgit v1.2.3