This topic was moved to #Proof General users > Better emacs indentation by Karl Palmskog.
Last updated: Sep 30 2023 at 05:01 UTC