Re: [isabelle-dev] Towards the release

[Makarius]

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 
consolidation.


        Makarius

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev