[isabelle-dev] NEWS

Makarius makarius at sketis.net
Wed Jan 4 22:33:19 CET 2012

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


More information about the isabelle-dev mailing list