Hi Erik, > If you are thinking of adding a GitHub repo dedicated to the webpages > sources, maybe it would be convenient to host the webpages themselves > at GitHub too? Because according to https://pages.github.com/ and > https://help.github.com/categories/github-pages-basics/ it would > suffice to name this extra repo "proofgeneral.github.io" ... > What is your opinion?
Sure, maybe this is a better hosting provider than University of Edinburgh, I don't really mind. We could easily redirect from proofgeneral.inf. Erik, I've just invited you to join the admin group, apologies I missed your message from earlier in the year. Best wishes, - David -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. _______________________________________________ ProofGeneral-devel mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
