On 22/02/2019 22:59, Makarius wrote:
> On 22/02/2019 16:47, Manuel Eberl wrote:
>> I came upon a regrssion with the position information in terms that
>> contain calligraphic or Fraktur letters, e.g.:
>>
>> theory Scratch
>> imports Pure
>> begin
>>
>> lemma "풜 풜 풜 풜 ()) a b c d e"
>>
>> The
On 22/02/2019 16:47, Manuel Eberl wrote:
> I came upon a regrssion with the position information in terms that
> contain calligraphic or Fraktur letters, e.g.:
>
> theory Scratch
> imports Pure
> begin
>
> lemma "풜 풜 풜 풜 ()) a b c d e"
>
> The syntax error in this line is at the second
I came upon a regrssion with the position information in terms that
contain calligraphic or Fraktur letters, e.g.:
theory Scratch
imports Pure
begin
lemma "풜 풜 풜 풜 ()) a b c d e"
The syntax error in this line is at the second closing parenthesis. In
3bfa28b3a5b2, Isabelle/jEdit displays the