On Wed, 4 Jan 2012, Makarius wrote:

On Wed, 4 Jan 2012, Lawrence Paulson wrote:

It seems to me that we owe users an announcement on the mailing list so that they know that this is coming. They can then download a development snapshot to see what it will look like.

Coping with the delicacies introducing further challanges users, which might be even more difficult than this medium sized incompatibility.

This should read as:

  "Coping with the delicacies of a development snapshot introduces ..."

I am just using too many languages at the same time: English, German, French ...


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

Reply via email to