Camelia, the Perl 6 bug

IRC log for #isabelle, 2013-09-18

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

All times shown according to UTC.

Time Nick Message
03:12 wagle_ joined #isabelle
08:37 tpsinnem joined #isabelle
16:35 mekeor joined #isabelle
16:36 mekeor is research on isabelle still active?

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