src/Pure/Thy/markdown.ML
changeset 61454 c86286ae9fe5
parent 61453 3a3e3527445e
child 61457 3e21699bb83b
     1.1 --- a/src/Pure/Thy/markdown.ML	Thu Oct 15 16:44:25 2015 +0200
     1.2 +++ b/src/Pure/Thy/markdown.ML	Thu Oct 15 17:29:37 2015 +0200
     1.3 @@ -81,9 +81,9 @@
     1.4  
     1.5  val scan_marker =
     1.6    Scan.many is_space -- Symbol_Pos.scan_pos --
     1.7 -  (Symbol_Pos.$$ "\<^item>" >> K Itemize ||
     1.8 -   Symbol_Pos.$$ "\<^enum>" >> K Enumerate ||
     1.9 -   Symbol_Pos.$$ "\<^descr>" >> K Description)
    1.10 +  (Symbol_Pos.$$ "\\<^item>" >> K Itemize ||
    1.11 +   Symbol_Pos.$$ "\\<^enum>" >> K Enumerate ||
    1.12 +   Symbol_Pos.$$ "\\<^descr>" >> K Description)
    1.13    >> (fn ((spaces, pos), kind) => ({indent = length spaces, kind = kind}, pos));
    1.14  
    1.15  fun read_marker (Antiquote.Text ss :: rest) =