src/Pure/Thy/markdown.ML
changeset 61461 77c9643a6353
parent 61460 732028edfbc7
child 61595 3591274c607e
     1.1 --- a/src/Pure/Thy/markdown.ML	Sat Oct 17 19:32:01 2015 +0200
     1.2 +++ b/src/Pure/Thy/markdown.ML	Sat Oct 17 19:47:34 2015 +0200
     1.3 @@ -24,6 +24,7 @@
     1.4    val print_kind: kind -> string
     1.5    type line
     1.6    val line_source: line -> Antiquote.text_antiquote list
     1.7 +  val line_is_item: line -> bool
     1.8    val line_content: line -> Antiquote.text_antiquote list
     1.9    val make_line: Antiquote.text_antiquote list -> line
    1.10    val empty_line: line
    1.11 @@ -63,6 +64,7 @@
    1.12  
    1.13  fun line_source (Line {source, ...}) = source;
    1.14  fun line_is_empty (Line {is_empty, ...}) = is_empty;
    1.15 +fun line_is_item (Line {item, ...}) = is_some item;
    1.16  fun line_content (Line {content, ...}) = content;
    1.17  
    1.18