[isabelle-dev] NEWS

[Makarius]

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