| changeset 62506 | 860cd901ab43 |
| parent 62501 | 98fa1f9a292f |
| child 62509 | 13d6948e4b12 |
--- a/NEWS Thu Mar 03 15:23:02 2016 +0100 +++ b/NEWS Thu Mar 03 21:30:31 2016 +0100 @@ -998,6 +998,10 @@ *** System *** +* Command-line tool "isabelle_process" supports ML evaluation of literal +expressions (option -e) or files (option -f). Errors lead to premature +exit of the ML process with return code 1. + * Command-line tool "isabelle console" enables print mode "ASCII". * Command-line tool "isabelle update_then" expands old Isar command