[Mathlib-develop] new error.log

[Stefan M. <st...@he...>]

Hi all of you,

I've played arround with the web services of sourceforge. They provide
the error.log files from the project web servers. The error.log files 
are updated every 30 minutes.
I have set up a cron job to parse these files and copy all relevant 
errors for mathlib to a different file.

Have a look at
http://mathlib.sourceforge.net/error.log

With kind regards,
   Stefan.