equal
deleted
inserted
replaced
912 * Provers: more generic wrt. syntax of object-logics, avoid hardwired |
912 * Provers: more generic wrt. syntax of object-logics, avoid hardwired |
913 "Trueprop" etc. |
913 "Trueprop" etc. |
914 |
914 |
915 |
915 |
916 *** System *** |
916 *** System *** |
|
917 |
|
918 * settings: ML_IDENTIFIER -- which is appended to user specific heap |
|
919 locations -- now includes the Isabelle version identifier as well. |
|
920 This simplifies use of multiple Isabelle installations. |
917 |
921 |
918 * isabelle-process: option -S (secure mode) disables some critical |
922 * isabelle-process: option -S (secure mode) disables some critical |
919 operations, notably runtime compilation and evaluation of ML source |
923 operations, notably runtime compilation and evaluation of ML source |
920 code. |
924 code. |
921 |
925 |