ProofWiki:Bulletin Board

ProofWiki Community Bulletin Board

September 3, 2008

 * The LaTeX rendering software is not working correctly, the host server is looking into its sudden break (since it's not a problem on our side). Hopefully this will be fixed soon. --Joe 23:42, 3 September 2008 (UTC)

Aug 24, 2008

 * I will upgrade the site to the new version of MediaWiki once I get back from vacation. --Joe
 * I found some free time today and upgraded the site, seems to be working good so far. Let me know if there are any problems. --Joe 23:25, 24 August 2008 (UTC)