renamed option -d to -c (cf. isatool display); operate on PRIVATE_FILE;
renamed option -d to -c (cf. isatool display);
operate on PRIVATE_FILE;

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