Artem Khovanov (Jul 25 2023 at 21:24): Artem Khovanov (Jul 25 2023 at 21:24):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?
Mathias Fleury (Jul 26 2023 at 04:38):I don't think that there is a global setting, but you declare/supply:
[[goals_limit=1]]
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.
Mathias Fleury (Jul 26 2023 at 13:01):lemma test: "x = x"
supply [[goals_limit = 100]]
(*now printing of 100 goals in the panel*)
oh I see, thanks very much!
Last updated: Apr 28 2024 at 04:17 UTC