[isabelle-dev] Towards the release

Makarius makarius at sketis.net
Fri Jan 15 14:07:48 CET 2016

Current Isabelle/9ca00b65d36c and AFP/2c322507b8a6 appears to be a fairly 
stable state, so I will take this as starting point for Isabelle2016-RC1 
later today.

The main isabelle-dev remains open a few more days for fine-tuning and 


More information about the isabelle-dev mailing list