# HG changeset patch
# User kleing
# Date 1113950754 -7200
# Node ID 311aedc96e715970bf114f196c105ab981ea4675
# Parent  e2f45df0696f7c4c68809ad69671f6851c0842f0
added locale instantiation

diff -r e2f45df0696f -r 311aedc96e71 Admin/page/main-content/index.content
--- a/Admin/page/main-content/index.content	Tue Apr 19 18:46:04 2005 +0200
+++ b/Admin/page/main-content/index.content	Wed Apr 20 00:45:54 2005 +0200
@@ -38,11 +38,12 @@
 <h2>Isabelle 2005 - Preview</h2>
 
 <ul>
+<li>New commands for instantiating locales</li>
 <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>
 <li>Much extended and improved theory of finite sets</li>
+<li>New syntax that will allow &gt; and &gt;= in addition to &lt; and &lt;=</li>
 </ul>
 
 <h2>Contributing</h2>