Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2014-07-29

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

All times shown according to UTC.

Time Nick Message
01:00 vanila joined #isabelle
02:07 vanila can I build isabelle without java?
02:07 vanila java is giving me problems, and I want to work around it rather than solve them
10:19 dmiles_afk joined #isabelle
12:34 osa1 joined #isabelle
14:38 osa1 joined #isabelle
16:11 osa1_ joined #isabelle
18:00 osa1__ joined #isabelle
18:15 osa1__ joined #isabelle
22:19 dmiles_afk joined #isabelle

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