equal
deleted
inserted
replaced
1405 "Trueprop" etc. |
1405 "Trueprop" etc. |
1406 |
1406 |
1407 |
1407 |
1408 *** System *** |
1408 *** System *** |
1409 |
1409 |
1410 * settings: ML_IDENTIFIER -- which is appended to user specific heap |
1410 * settings: the default heap location within ISABELLE_HOME_USER now |
1411 locations -- now includes the Isabelle version identifier as well. |
1411 includes ISABELLE_IDENTIFIER. This simplifies use of multiple |
1412 This simplifies use of multiple Isabelle installations. |
1412 Isabelle installations. |
1413 |
1413 |
1414 * isabelle-process: option -S (secure mode) disables some critical |
1414 * isabelle-process: option -S (secure mode) disables some critical |
1415 operations, notably runtime compilation and evaluation of ML source |
1415 operations, notably runtime compilation and evaluation of ML source |
1416 code. |
1416 code. |
1417 |
1417 |