changeset 77137 | 79231a210f5d |
parent 77104 | 9678b533119e |
child 77264 | 8bec573e1fdc |
child 77267 | 1fde0e4fd791 |
--- a/NEWS Mon Jan 30 10:15:01 2023 +0100 +++ b/NEWS Mon Jan 30 15:02:38 2023 +0100 @@ -256,6 +256,11 @@ > 1 + 1;; > #quit;; +* The headless PIDE server (e.g. command-line tool "isabelle server") +now observes the option "show_states" as given in the server command +"session_start". If enabled, the server command "use_theories" will +expose proof state output via its "messages" field. + New in Isabelle2022 (October 2022)