added -c option (beware!); changed default DIR to 'document'; NOTE: please ignore last log entry;
added -c option (beware!);
changed default DIR to 'document';
NOTE: please ignore last log entry;

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