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



Makarius wrote:
Also note that $ISABELLE_HOME/etc/symbols is just one default table. Users may have there own.

[...]
In the next round I will try harder produce explicit errors on bad sources.

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

Alex





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