I want to view the final goal of a proof state with 12 goals. However when I use print_state (or open the "state" tab in JEdit) I can only view the first 10 goals. Is there a setting to change this limit?
I don't think that there is a global setting, but you declare/supply:
Sorry, I'm unsure how to use this. I'm trying to copy the syntax in the reference manual, but the following code
lemma test: "x = x" print_state [[goals_limit = 100]]
gives me an outer syntax error.
lemma test: "x = x" supply [[goals_limit = 100]] (*now printing of 100 goals in the panel*)
oh I see, thanks very much!
Last updated: Dec 07 2023 at 08:19 UTC