equal
deleted
inserted
replaced
972 |
972 |
973 * System option "ML_process_policy" specifies an optional command prefix |
973 * System option "ML_process_policy" specifies an optional command prefix |
974 for the underlying ML process, e.g. to control CPU affinity on |
974 for the underlying ML process, e.g. to control CPU affinity on |
975 multiprocessor systems. The "isabelle jedit" tool allows to override the |
975 multiprocessor systems. The "isabelle jedit" tool allows to override the |
976 implicit default via option -p. |
976 implicit default via option -p. |
|
977 |
|
978 * The isabelle_java executable allows to run a Java process within the |
|
979 name space of Java and Scala components that are bundled with Isabelle, |
|
980 but without the Isabelle settings environment. |
977 |
981 |
978 |
982 |
979 |
983 |
980 New in Isabelle2016 (February 2016) |
984 New in Isabelle2016 (February 2016) |
981 ----------------------------------- |
985 ----------------------------------- |