3 ms·

I wish they would integrate an IRC or XMPP gateway per default. I know that #isabelle is visible in isabelle.zulipchat.com, but if the instance admin does not e

by zaik 4y ago

I wish they would integrate an IRC or XMPP gateway per default. I know that #isabelle is visible in isabelle.zulipchat.com, but if the instance admin does not enable it, there's no way to participate using the standard IM protocols.