Admin/page/main-content/index.content

--- a/Admin/page/main-content/index.content	Fri Dec 17 12:39:40 2004 +0100
+++ b/Admin/page/main-content/index.content	Fri Dec 17 12:43:12 2004 +0100
@@ -35,6 +35,15 @@
 
 <p>
 
+<h2>Isabelle 2005 - Preview</h2>
+
+<ul>
+<li>New command for finding matching rewrite rules</li>
+<li>New syntax to allow &gt; and &gt;=</li>
+<li>New automatic transitivity reasoner</li>
+<li>New command for ad-hoc theory viewing and printing</li>
+</ul>
+
 <h2>Course Material, Exercises</h2>
 
 The <a