Camelia, the Perl 6 bug

IRC log for #isabelle, 2012-05-21

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

All times shown according to UTC.

Time Nick Message
11:15 void joined #isabelle
11:15 void Hi everybody

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