more precise guide for bibtex/makeindex -- dummy files should be sufficient;
more precise guide for bibtex/makeindex -- dummy files should be sufficient;

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