On 16/12/17 04:03, Matthew Fernandez wrote: > > Relatedly, coming up on 2018 it seems like it would be reasonable to require > a compiler with C++11 support. I’m not sure how backwards compatible PolyML > needs to be these days
For Isabelle the situation is documented here: http://isabelle.in.tum.de/repos/isabelle/file/tip/Admin/PLATFORMS#l26 Presently (Isabelle/ad538f6c5d2f) the bottom line e.g. for Linux is Ubuntu 12.04. Makarius _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml