Is there a way of formatting the entire theory?
Select all (Command/Control+a) and then Command/Control+i
Robert Soeldner has marked this topic as resolved.
I would be careful with that. There are cases where the automatic indentation is not how I would indent things. The following is correctly indented:
inductive foo where foo1: "foo a" if "odd a"
Last updated: Sep 25 2022 at 23:25 UTC