Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-10-30

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
11:04 silver joined #isabelle
12:45 larsrh I've uploaded a new version of 'isabellectl' which supports Isabelle2016-1-RC1: https://bintray.com/larsrh/libisabelle/isabellectl/nightly
12:46 larsrh alias isabelle20161RC1="isabellectl --version 2016-1-RC1 exec"
12:46 larsrh ^ this behaves as the regular "isabelle" binary, but it'll download & unpack everything for you :-)
12:46 larsrh And of course you can switch out the version string, then it'll do Isabelle2016
12:47 larsrh (It'll also tell you what it is downloading and where it is putting things)
12:47 larsrh (It'll also not interfere with your existing Isabelle setup)

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | summary