Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/ROOT
changeset 48721 866f6d5baf4c
parent 48690 c1499b14b48c
child 48738 f8c1a5b9488f 
--- 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