Camelia, the Perl 6 bug

IRC log for #isabelle, 2011-12-19

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | plain, newest first | summary

All times shown according to UTC.

Time S Nick Message
01:25 bwright joined #isabelle
12:32 phimuemue_ joined #isabelle
14:14 phimuemue_ joined #isabelle
18:33 phimuemue__ joined #isabelle

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | plain, newest first | summary