author | wenzelm |
Thu, 24 Dec 2020 00:07:51 +0100 | |
changeset 72996 | cdcd2785db94 |
parent 72995 | eac16c76273e |
child 72997 | a562a0f656e8 |
child 73002 | fc6597d50b4f |
--- a/NEWS Wed Dec 23 23:21:51 2020 +0100 +++ b/NEWS Thu Dec 24 00:07:51 2020 +0100 @@ -13,6 +13,9 @@ included distinct_subgoals_tac no longer affects unrelated subgoals. Rare INCOMPATIBILITY. +* HTML presentation includes auxiliary files (e.g. ML) for each theory, +with rich markup. + *** Isabelle/jEdit Prover IDE ***