[isabelle-dev] Towards the Isabelle2017 release
makarius at sketis.net
Fri Sep 8 11:13:54 CEST 2017
On 03/09/17 12:06, Makarius wrote:
> The isabelle-dev repository remains open for 3 more days. Afterwards it
> forks to https://bitbucket.org/isabelle_project/isabelle-release and
> further changes (really important ones!) need to be sent to me via email.
There were some delays, but we are now ready. The all-important release
fork will happen today in the evening.
This is the last chance for small amendments directly on the repository.
Afterwards any further changes (important ones) need to be sent to me
More information about the isabelle-dev