Camelia, the Perl 6 bug

IRC log for #isabelle, 2011-06-07

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | plain, newest first | summary

All times shown according to UTC.

Time S Nick Message
03:21 danblick joined #isabelle
12:35 balor joined #isabelle
12:37 balor Are there Ubuntu packages for isabelle?  So I'm looking for .debs rather than the binary tar.gz?
15:48 balor left #isabelle
16:24 danblick left #isabelle
21:50 balor joined #isabelle
21:54 balor left #isabelle
21:54 balor joined #isabelle
22:06 balor left #isabelle

| Channels | #isabelle index | Today | | Search | Google Search | Plain-Text | plain, newest first | summary