NEWS
changeset 66757 e32750d7acb4
parent 66745 e7ac579b883c
child 66759 918f15c9367a
equal deleted inserted replaced
66756:a1b2ea991ad1 66757:e32750d7acb4
    11 
    11 
    12 * Session-qualified theory names are mandatory: it is no longer possible
    12 * Session-qualified theory names are mandatory: it is no longer possible
    13 to refer to unqualified theories from the parent session.
    13 to refer to unqualified theories from the parent session.
    14 INCOMPATIBILITY for old developments that have not been updated to
    14 INCOMPATIBILITY for old developments that have not been updated to
    15 Isabelle2017 yet (using the "isabelle imports" tool).
    15 Isabelle2017 yet (using the "isabelle imports" tool).
       
    16 
       
    17 * Command 'external_file' declares the formal dependency on the given
       
    18 file name, such that the Isabelle build process knows about it, but
       
    19 without specific Prover IDE management.
    16 
    20 
    17 
    21 
    18 *** HOL ***
    22 *** HOL ***
    19 
    23 
    20 * SMT module:
    24 * SMT module: