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.