read_symbols: proper IsabelleSystem.platform_path;
read_symbols: proper IsabelleSystem.platform_path;

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