# HG changeset patch
# User wenzelm
# Date 1113410799 -7200
# Node ID 99bd15fd58def62f0635c201f644b86eb2b5714a
# Parent  1218cde8da17a079092b05c9130bec2437565331
*** MESSAGE REFERS TO PREVIOUS VERSION ***
removed uterm;
tuned;

diff -r 1218cde8da17 -r 99bd15fd58de src/Pure/Isar/isar_syn.ML
--- a/src/Pure/Isar/isar_syn.ML	Wed Apr 13 18:46:30 2005 +0200
+++ b/src/Pure/Isar/isar_syn.ML	Wed Apr 13 18:46:39 2005 +0200
@@ -834,3 +834,4 @@
 OuterSyntax.add_keywords IsarSyn.keywords;
 OuterSyntax.add_parsers IsarSyn.parsers;
 IsarOutput.add_hidden_commands IsarSyn.hidden_commands;
+