Stream: Beginner Questions

Topic: ✔ jEdit format entire theory

view this post on Zulip Robert Soeldner (Nov 06 2021 at 18:25):

Is there a way of formatting the entire theory?

view this post on Zulip Dmitriy Traytel (Nov 07 2021 at 07:52):

Select all (Command/Control+a) and then Command/Control+i

view this post on Zulip Notification Bot (Nov 07 2021 at 09:48):

Robert Soeldner has marked this topic as resolved.

view this post on Zulip Mathias Fleury (Nov 07 2021 at 13:13):

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
  "foo a"
if "odd a"

Last updated: Sep 25 2022 at 23:25 UTC