Re: [isabelle] Announcement: Brunhilde/Rhein 2015

On Wed, 1 Apr 2015, Joachim Breitner wrote:

I have attached a proof document with the rest of the proof, and a further example.

You can download an installable package of Brunhilde for Linux on the Brunhilde web site, which also contains the logo, a migration guide and a screenshot:

On the screenshot it looks like a German spell-checker is still missing.

Users of Isabelle over 20 years probably recall the introduction of spell-checking in Isabelle2014 as one of the big landmarks in formal document processing.


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