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?

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: Feb 22 2024 at 04:02 UTC