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).
ProofGeneral-devel mailing list
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.