option -g for document graph; removed all presumptions about -d/-D (handled by isabelle process);
option -g for document graph;
removed all presumptions about -d/-D (handled by isabelle process);

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