Camelia, the Perl 6 bug

IRC log for #isabelle, 2011-08-04

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

All times shown according to UTC.

Time S Nick Message
03:47 synonymous joined #isabelle
03:55 synonymous left #isabelle
07:54 synonymous joined #isabelle
09:39 synonymous left #isabelle

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