Re: [isabelle] Isabelle2014-RC0 available for testing
On Mon, 7 Jul 2014, C. Diekmann wrote:
When a proof fails, the output buffer displays: "... method⌂: ...".
Notice the triangle-like symbol. The same strange symbol is displayed
for an ML error.
The strange symbol represents the position, i.e. you can hover-click to it
is for other formal divices in PIDE input/output.
Its Isabelle name is \<here> and its unicode rendering a "house" (or
This archive was generated by a fusion of
Pipermail (Mailman edition) and