> On Dec 21, 2017, at 03:40, Makarius <makar...@sketis.net> wrote: > > On 18/12/17 03:07, Matthew Fernandez wrote: >> >>> On Dec 16, 2017, at 03:24, Makarius <makar...@sketis.net >>> <mailto:makar...@sketis.net>> wrote: >>> >>> 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. >>> >> >> If I interpret this correctly (details >> below), from an Isabelle perspective Linux is the only platform holding >> you back. Are there reasons the supported Linux release is Ubuntu 12.04 >> and not a newer Ubuntu? > > The reason is to weaken assumptions about the required OS as much as > feasible, reaching back in time approx. 5-7 years. In the history of > Isabelle bundling, I started out with only 2-3 years, but then many > people showed up who could not run the application on their old server > installation. > > There need to be really good reasons to jump forward in OS base-line > versions. The next will be Ubuntu 14.04, but there is no particular > schedule when that move happens.
Fair enough. I guess we’re stuck with pre-C++11 for now. _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
