On 07/04/2015 16:28, Makarius wrote:
A real danger in the whole affair is that we need to proceed towards the Isabelle2015 release very soon, i.e. this week.
Which in the past would have meant not to include the new concept. But maybe you want to set a precedent.
Tobias
smime.p7s
Description: S/MIME Cryptographic Signature
_______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
