Stream: Miscellaneous

Topic: default language

view this post on Zulip Gaëtan Gilbert (Jun 11 2021 at 08:29):

should we set the default language for codeblocks on zulip to coq?
settings.png

view this post on Zulip Théo Zimmermann (Jun 11 2021 at 15:02):

I thought I had done it already but apparently not. Fixed!

Last updated: Oct 08 2024 at 15:02 UTC