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: Feb 05 2023 at 07:03 UTC