Getting jEdit to show all schematic variable assignments

Viewed 39

Is there an easy way to get jEdit to show a list of all schematic variable assignments at a certain point in an Isabelle proof?

0 Answers
Related