Re: [isabelle] @{context}



Yes, the current goal state.

- Gergely
________________________________________
From: Lars Hupel [hupel at in.tum.de]
Sent: Monday, July 20, 2015 2:28 PM
To: Buday Gergely; cl-isabelle-users at lists.cam.ac.uk
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.