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/Benchmarks/ROOT
changeset 69319 baccaf89ca0d
parent 69272 15e9ed5b28fb 
--- a/src/Benchmarks/ROOT	Tue Nov 20 13:44:06 2018 +0100
+++ b/src/Benchmarks/ROOT	Tue Nov 20 13:46:13 2018 +0100
@@ -1,9 +1,9 @@
 chapter HOL
 
 session "HOL-Datatype_Benchmark" in Datatype_Benchmark = "HOL-Library" +
-  description \<open>
+  description "
     Big (co)datatypes.
-\<close>
+  "
   theories
     Brackin
     IsaFoR
@@ -17,8 +17,8 @@
     Needham_Schroeder_Unguided_Attacker_Example
 
 session "HOL-Record_Benchmark" in Record_Benchmark = HOL +
-  description \<open>
+  description "
     Big records.
-\<close>
+  "
   theories
     Record_Benchmark
isabelle