Re: [isabelle] unicode tokens in isabelle2011+pg4.0



On Wed, 2 Feb 2011, Alexander Krauss wrote:

Hmm... Does that mean that the property of being "bad sources" will be configuration-dependent? That sounds very problematic for exchanging theories...

Yes it is, and the game is to minimize problems.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.