# HG changeset patch
# User kleing
# Date 1103283792 -3600
# Node ID 45653714db881289f080bfec9ea9779e4ad34d1f
# Parent  1d63862c70d9feb38e337b1d4fd6309a45ec835d
Isabelle 2005 - preview

diff -r 1d63862c70d9 -r 45653714db88 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