Stream: Coq users

Topic: How to restore windows in proof general?


view this post on Zulip Notification Bot (Oct 26 2022 at 16:41):

This topic was moved to #Proof General users > How to restore windows in proof general? by Karl Palmskog.


Last updated: Mar 29 2024 at 14:01 UTC