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