reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;
reflect actual content of /home/isabelle-repository/hgweb-templates/isabelle by krauss;

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