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.
load markdown.ML into Pure;
authorwenzelm
Thu, 15 Oct 2015 17:29:37 +0200
changeset 61454 c86286ae9fe5
parent 61453 3a3e3527445e
child 61455 0e4c257358cf
load markdown.ML into Pure;
src/Pure/ROOT.ML file | annotate | diff | comparison | revisions
src/Pure/Thy/markdown.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ROOT.ML	Thu Oct 15 16:44:25 2015 +0200
+++ b/src/Pure/ROOT.ML	Thu Oct 15 17:29:37 2015 +0200
@@ -236,6 +236,7 @@
 use "Thy/thy_header.ML";
 use "PIDE/command_span.ML";
 use "Thy/thy_syntax.ML";
+use "Thy/markdown.ML";
 use "Thy/html.ML";
 use "Thy/latex.ML";
 
--- a/src/Pure/Thy/markdown.ML	Thu Oct 15 16:44:25 2015 +0200
+++ b/src/Pure/Thy/markdown.ML	Thu Oct 15 17:29:37 2015 +0200
@@ -81,9 +81,9 @@
 
 val scan_marker =
   Scan.many is_space -- Symbol_Pos.scan_pos --
-  (Symbol_Pos.$$ "\<^item>" >> K Itemize ||
-   Symbol_Pos.$$ "\<^enum>" >> K Enumerate ||
-   Symbol_Pos.$$ "\<^descr>" >> K Description)
+  (Symbol_Pos.$$ "\\<^item>" >> K Itemize ||
+   Symbol_Pos.$$ "\\<^enum>" >> K Enumerate ||
+   Symbol_Pos.$$ "\\<^descr>" >> K Description)
   >> (fn ((spaces, pos), kind) => ({indent = length spaces, kind = kind}, pos));
 
 fun read_marker (Antiquote.Text ss :: rest) =
isabelle