Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-02-04

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

All times shown according to UTC.

Time Nick Message
00:35 juls joined #isabelle
09:35 silver joined #isabelle
11:26 larsrh isabellectl --version 2016 --fetch info.hupel.afp:afp-2016:1.0.+ jedit
11:26 larsrh ... is a thing that works now
11:27 larsrh opens up jEdit 2016 with AFP 2016 preloaded and 0 installation
11:27 larsrh same for 2016-1
11:29 larsrh and obviously this makes the $AFP variable available
14:24 silver_ joined #isabelle
17:36 notdan joined #isabelle
17:36 notdan left #isabelle
19:02 chuchucorny does it haz containerz? how agile is it?
21:51 larsrh no containers
21:51 larsrh binaries want to be free
23:59 chindy joined #isabelle

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