renamed logics.html to index.html; added command for cleaning the directory before transfering newer version
renamed logics.html to index.html;
added command for cleaning the directory before transfering newer version

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