# HG changeset patch
# User wenzelm
# Date 1113410899 -7200
# Node ID f088c10208c0ed1adef5d49df68e8de8da1244c0
# Parent  541e50adfc73a47c3de15b860d680c4fab1ca618
*** MESSAGE REFERS TO PREVIOUS VERSION ***
ISABELLE_DOC_FORMAT;
tuned;

diff -r 541e50adfc73 -r f088c10208c0 lib/Tools/display
--- a/lib/Tools/display	Wed Apr 13 18:48:05 2005 +0200
+++ b/lib/Tools/display	Wed Apr 13 18:48:19 2005 +0200
@@ -79,3 +79,4 @@
 else
   exec $VIEWER "$FILE"
 fi
+