[isabelle-dev] Towards the release

[Makarius]

After the public appearance of Isabelle2016-1-RC0 some days ago, we are
still in consolidation mode for the Isabelle repository -- lets say at
least 2 more weeks.

Isabelle2016-1-RC1 will still be based on the isabelle-dev repository,
to simplify immediate reactions on suggestions and observations by testers.

The repository fork to isabelle-release will happen after RC1.


I am presently still stuck updating the Admin area.

Are there any non-trivial chunks still in the commit/push pipeline that
need special considerations?


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

Re: [isabelle-dev] Towards the release

[Florian Haftmann]

> Are there any non-trivial chunks still in the commit/push pipeline that
> need special considerations?

I have some matter on euclidean division in the pipeline which I hope to
be able to finish before my vacation starting at end of October.

Florian

-- 

PGP available:
http://isabelle.in.tum.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de



signature.asc
Description: OpenPGP digital signature
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev