Camelia, the Perl 6 bug

IRC log for #isabelle, 2012-02-08

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

All times shown according to UTC.

Time Nick Message
00:28 tomprince joined #isabelle
02:08 ski joined #isabelle
02:12 wagle joined #isabelle
02:12 larsrh joined #isabelle
02:18 tomprince joined #isabelle
08:07 phimuemue_ joined #isabelle
08:30 Need_help joined #isabelle
08:31 Need_help kann hier einer zu blatt 13 helfen?
09:37 phimuemue__ joined #isabelle
19:37 phimuemue_ joined #isabelle

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