[isabelle] @{subgoals}



Hi,

is it possible to typeset one subgoal per line as it appears in Isabelle/JEdit?

I used

   isabelle build -D .

- Gergely




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