Camelia, the Perl 6 bug

IRC log for #isabelle, 2012-09-08

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

All times shown according to UTC.

Time Nick Message
00:56 gienah joined #isabelle
04:42 lispy joined #isabelle
04:47 lispy joined #isabelle
04:56 lispy joined #isabelle
12:22 Jafet joined #isabelle
12:24 Jafet Hi
12:25 int-e hi :)
12:26 int-e Jafet: I thought the channel was listed on the isabelle community wiki, but all I can find is a message on the mailing list. So it's currently hard to find.
12:26 Jafet Well, I have not read either.
20:46 lispy int-e: oh, I didn't think to put it on the community wiki. Would you mind?
20:46 lispy mind putting it where you would expect to find it, that is

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