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: Aug 14 2022 at 12:03 UTC