Stream: Coq users

Topic: ✔ How to get comments from a Coq source code?


view this post on Zulip Gaëtan Gilbert (Oct 12 2023 at 14:02):

I think you need to enable Flags.beautify to get comments

view this post on Zulip Hiroki Tokunaga (Oct 12 2023 at 14:07):

Thank you! I didn't think Flags.beautify := true was the key!

view this post on Zulip Notification Bot (Oct 12 2023 at 14:07):

Hiroki Tokunaga has marked this topic as resolved.


Last updated: Jun 23 2024 at 05:02 UTC