diff -r 7995bc5554b7 -r 0afff550c157 Nominal/main.html
--- a/Nominal/main.html	Wed Mar 30 16:37:07 2016 +0100
+++ b/Nominal/main.html	Wed Mar 30 16:56:26 2016 +0100
@@ -48,7 +48,7 @@
 <P>
 <IMG SRC="new.gif" ALT="" style="" align="left">
 <I>We are working on a major overhaul of Nominal Isabelle. The 
-latest bundles of Nominal2 and Isabelle 2012 are 
+latest bundles of Nominal2 are 
 <A HREF="http://inf.kcl.ac.uk/staff/urbanc/Nominal/download.html">here</A>. 
 </I></P>