NEWS
changeset 67133 540eeaf88a63
parent 67119 acb0807ddb56
child 67140 386a31d6d17a
equal deleted inserted replaced
67132:336831647779 67133:540eeaf88a63
    58     specified session: it abbreviates -B -F -R -l
    58     specified session: it abbreviates -B -F -R -l
    59 
    59 
    60   Examples:
    60   Examples:
    61     isabelle jedit -d '$AFP' -S Formal_SSA -A HOL
    61     isabelle jedit -d '$AFP' -S Formal_SSA -A HOL
    62     isabelle jedit -d '$AFP' -S Formal_SSA -A HOL-Analysis
    62     isabelle jedit -d '$AFP' -S Formal_SSA -A HOL-Analysis
       
    63 
       
    64 * Named control symbols (without special Unicode rendering) are shown as
       
    65 bold-italic keyword. This is particularly useful for the short form of
       
    66 antiquotations with control symbol: \<^name>\<open>argument\<close>. The action
       
    67 "isabelle.antiquoted_cartouche" turns an antiquotation with 0 or 1
       
    68 arguments into this format.
    63 
    69 
    64 
    70 
    65 *** HOL ***
    71 *** HOL ***
    66 
    72 
    67 * SMT module:
    73 * SMT module: