| changeset 62588 | cd266473b81b |
| parent 62562 | 905a5db3932d |
| child 62589 | b5783412bfed |
--- a/lib/Tools/console Thu Mar 10 12:11:23 2016 +0100 +++ b/lib/Tools/console Thu Mar 10 12:11:50 2016 +0100 @@ -2,7 +2,7 @@ # # Author: Makarius # -# DESCRIPTION: run Isabelle process with raw ML console and line editor +# DESCRIPTION: raw ML process (interactive mode) isabelle_admin_build jars || exit $?