# HG changeset patch
# User wenzelm
# Date 1344375498 -7200
# Node ID 866f6d5baf4c123743327419e4c95803f476c050
# Parent  95669b431edd6ea7fc1c0b2406d48da241213fb6
tuned;

diff -r 95669b431edd -r 866f6d5baf4c src/HOL/ROOT
--- a/src/HOL/ROOT	Tue Aug 07 22:54:27 2012 +0200
+++ b/src/HOL/ROOT	Tue Aug 07 23:38:18 2012 +0200
@@ -36,7 +36,7 @@
     Code_Char_ord
     Code_Integer
     Efficient_Nat
-    (*"Code_Prolog" FIXME cf. 76965c356d2a *)
+    (* Code_Prolog  FIXME cf. 76965c356d2a *)
     Code_Real_Approx_By_Float
     Target_Numeral
   files "document/root.bib" "document/root.tex"