added ISABELLE_FILE_IDENT (command line for source file identification);
added ISABELLE_FILE_IDENT (command line for source file identification);

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