Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Tue, 07 Aug 2012 23:38:18 +0200
changeset 48721 866f6d5baf4c
parent 48720 95669b431edd
child 48722 a5e3ba7cbb2a
tuned;
src/HOL/ROOT file | annotate | diff | comparison | revisions 
--- 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"
isabelle