* isabelle-process: option -S (secure mode) disables some critical operations;
* isabelle-process: option -S (secure mode) disables some critical operations;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle