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



As a follow up to this, I took the liberty of creating an Isabelle
subreddit:
http://www.reddit.com/r/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?
http://www.cl.cam.ac.uk/research/hvg/Isabelle/community.html

We now have a dedicated log for the IRC channel too in case you want to see
what is going on:
http://irclog.perlgeek.de/isabelle/

Thanks,
Jason




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