This topic was moved to #Proof General users > How to restore windows in proof general? by Karl Palmskog.
Last updated: Feb 09 2023 at 00:03 UTC