| changeset 67904 | 465f43a9f780 |
| parent 67399 | eab6ce8368fa |
| child 68003 | 9b89d831dc80 |
--- a/src/Doc/System/Environment.thy Mon Mar 19 18:13:37 2018 +0100 +++ b/src/Doc/System/Environment.thy Mon Mar 19 19:24:45 2018 +0100 @@ -469,7 +469,7 @@ \<close> -section \<open>YXML versus XML\<close> +section \<open>YXML versus XML \label{sec:yxml-vs-xml}\<close> text \<open> Isabelle tools often use YXML, which is a simple and efficient syntax for