On 04/07/13 12:21, Hendrik Tews wrote:
If you think these compilation errors are an issue, I volunteer
to implement one or both suggestions.

Thanks indeed! I think an automatic build would definitely be nice to have if you have inclination/interest. Recently I found about Travis


which appears to offer a free build server for OS projects hosted on Github. Don't know quite how they finance the cycles (but building PG shouldn't take many).

 - D.

ProofGeneral-devel mailing list

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Reply via email to