Stream: Proof General users

Topic: identation change


view this post on Zulip Vadim Zaliva (Jul 30 2024 at 23:57):

This comes up often in my day-to-day work, so I decided to ask: If I have proof structured with '+', '-', '*', etc if there is a way to select a block and increase/decrease outline level? So for example - would become +, and + would become *, etc.?

view this post on Zulip Pierre Courtieu (Jul 31 2024 at 22:09):

No. But that would be a very nice feature!

view this post on Zulip Vadim Zaliva (Jul 31 2024 at 22:14):

I do not know how closely proof bullets are connected to outline mode, but if they are I would link it to outline-demote and outline-promote


Last updated: Oct 13 2024 at 01:02 UTC