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

https://travis-ci.org/

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
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

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

Reply via email to