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.
more robust: size varies due to different position information in "isabelle build" vs. "isabelle dump";
authorwenzelm
Sat, 23 Nov 2019 16:02:42 +0100
changeset 71156 1299c8c91ed5
parent 71155 25b872d1d421
child 71157 8bdf3c36011c
more robust: size varies due to different position information in "isabelle build" vs. "isabelle dump";
src/HOL/Proofs/ex/XML_Data.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Proofs/ex/XML_Data.thy	Sat Nov 23 14:48:44 2019 +0100
+++ b/src/HOL/Proofs/ex/XML_Data.thy	Sat Nov 23 16:02:42 2019 +0100
@@ -52,7 +52,7 @@
   val thm = import_proof thy1 xml;
 
   val xml_size = size (YXML.string_of_body xml);
-  \<^assert> (xml_size > 400000);
+  \<^assert> (xml_size > 100000);
 \<close>
 
 end
isabelle