Camelia, the Perl 6 bug

IRC log for #isabelle, 2013-02-27

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

All times shown according to UTC.

Time Nick Message
12:11 Jafet apply (mailing list)
12:11 Jafet Does anyone actually talk in here
12:11 Jafet Or complain about jedit, that counts too
12:16 int-e rarely.
14:15 kaki joined #isabelle
14:25 kaki 12:11 - Jafet: apply (mailing list)
14:25 kaki was this meant as an answer to my question?
21:00 kaki left #isabelle

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