# HG changeset patch
# User wenzelm
# Date 1113410790 -7200
# Node ID 1218cde8da17a079092b05c9130bec2437565331
# Parent  b6b3df30cb0f7b61aafc7599abdf5f4c8b47af56
*** MESSAGE REFERS TO PREVIOUS VERSION ***
Attrib.src;
ISABELLE_DOC_FORMAT;

diff -r b6b3df30cb0f -r 1218cde8da17 src/Pure/Isar/isar_cmd.ML
--- a/src/Pure/Isar/isar_cmd.ML	Wed Apr 13 18:46:22 2005 +0200
+++ b/src/Pure/Isar/isar_cmd.ML	Wed Apr 13 18:46:30 2005 +0200
@@ -364,3 +364,4 @@
 end;
 
 end;
+