Re: [isabelle] @{context}

Yes, the current goal state.

- Gergely
From: Lars Hupel [hupel at]
Sent: Monday, July 20, 2015 2:28 PM
To: Buday Gergely; cl-isabelle-users at
Subject: Re: [isabelle] @{context}

> To typeset what the system responds to Isar language elements, as in the Output panel.

Sorry, but that is unclear to me. Do you mean the current goal state?

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