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 "home") glyph.


	Makarius


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