NEWS
changeset 69962 82e945d472d5
parent 69960 eff4ff8ba515
child 70009 435fb018e8ee
     1.1 --- a/NEWS	Sat Mar 23 20:27:56 2019 +0100
     1.2 +++ b/NEWS	Sun Mar 24 13:48:46 2019 +0100
     1.3 @@ -85,6 +85,21 @@
     1.4  separated from option "-s".
     1.5  
     1.6  
     1.7 +*** Document preparation ***
     1.8 +
     1.9 +* Document markers are formal comments of the form \<^marker>\<open>marker_body\<close> that
    1.10 +are stripped from document output: the effect is to modify the semantic
    1.11 +presentation context or to emit markup to the PIDE document. Some
    1.12 +predefined markers are taken from the Dublin Core Metadata Initiative,
    1.13 +e.g. \<^marker>\<open>contributor arg\<close> or \<^marker>\<open>license arg\<close> and produce PIDE markup that
    1.14 +can retrieved from the document database.
    1.15 +
    1.16 +* Old-style command tags %name are re-interpreted as markers \<^marker>\<open>tag name\<close>
    1.17 +and produce LaTeX environments as before. Potential INCOMPATIBILITY:
    1.18 +multiple markers are composed in canonical order, resulting in a
    1.19 +reversed list of tags in the presentation context.
    1.20 +
    1.21 +
    1.22  *** Isar ***
    1.23  
    1.24  * More robust treatment of structural errors: begin/end blocks take