Re: [isabelle] Announcement: New Isabelle IRC channel on Freenode

As a follow up to this, I took the liberty of creating an Isabelle

It's a great place to post announcements, updates, conference papers, and
other news items relevant to Isabelle.

Would it be possible to get links to the Isabelle reddit and IRC channel on
community page?

We now have a dedicated log for the IRC channel too in case you want to see
what is going on:


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.