NEWS
changeset 11050 ac5709ac50b9
parent 11043 2e3bbac8763b
child 11062 e86340dc1d28
equal deleted inserted replaced
11049:7eef34adb852 11050:ac5709ac50b9
    55 state; Note that presentation of goal states does not conform to
    55 state; Note that presentation of goal states does not conform to
    56 actual human-readable proof documents.  Please do not include goal
    56 actual human-readable proof documents.  Please do not include goal
    57 states into document output unless you really know what you are doing!
    57 states into document output unless you really know what you are doing!
    58 
    58 
    59 * isatool unsymbolize tunes sources for plain ASCII communication;
    59 * isatool unsymbolize tunes sources for plain ASCII communication;
       
    60 
       
    61 * no_document ML operator temporarily disables LaTeX document
       
    62 generation;
    60 
    63 
    61 
    64 
    62 *** Isar ***
    65 *** Isar ***
    63 
    66 
    64 * Pure: Isar now suffers initial goal statements to contain unbound
    67 * Pure: Isar now suffers initial goal statements to contain unbound