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,
More information about the isabelle-dev