On Dec 21, 2017, at 03:40, Makarius <makarius at sketis.net> wrote:
On 18/12/17 03:07, Matthew Fernandez wrote:
On Dec 16, 2017, at 03:24, Makarius <makarius at sketis.net <mailto:makarius at 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.