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
[email protected]
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.
