added isabelle_path; tuned platform_path; tuned comments;
added isabelle_path;
tuned platform_path;
tuned comments;

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