Admin user: Admin pwd hint: new year hills ================================================================= intro-proofgeneral<-devel>.html is header set in general options http://lists.informatics.ed.ac.uk/mailman/admin/proofgeneral/general http://lists.informatics.ed.ac.uk/mailman/admin/proofgeneral-devel/general ----------------------------------------------------------------- The remaining templates have to be installed in mailman by visiting these pages: http://lists.informatics.ed.ac.uk/mailman/edithtml/proofgeneral/