Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2014-09-12

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

All times shown according to UTC.

Time Nick Message
02:05 gattschardo joined #isabelle
07:34 mal`` joined #isabelle
21:23 vanila joined #isabelle
21:23 vanila does isabelle work well on Debian?
21:47 aloiscochard joined #isabelle
22:23 aloiscochard joined #isabelle
22:30 coco joined #isabelle
22:33 krkini joined #isabelle
23:05 ilbot3 joined #isabelle
23:38 krkini joined #isabelle
23:38 aloiscochard joined #isabelle
23:38 mal`` joined #isabelle
23:38 relrod joined #isabelle
23:38 Jafet joined #isabelle
23:38 bitraten1 joined #isabelle
23:38 wagle joined #isabelle
23:38 leonweber2 joined #isabelle
23:38 ski joined #isabelle
23:38 lispy joined #isabelle
23:38 ChanServ joined #isabelle
23:38 Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || Now with logging: http://irclog.perlgeek.de/isabelle/
23:39 coco joined #isabelle
23:39 gattschardo joined #isabelle
23:41 ilbot3 joined #isabelle
23:42 gattschardo joined #isabelle
23:42 coco joined #isabelle
23:42 krkini joined #isabelle
23:42 aloiscochard joined #isabelle
23:42 mal`` joined #isabelle
23:42 relrod joined #isabelle
23:42 Jafet joined #isabelle
23:42 bitraten1 joined #isabelle
23:42 wagle joined #isabelle
23:42 leonweber2 joined #isabelle
23:42 ski joined #isabelle
23:42 lispy joined #isabelle
23:42 ChanServ joined #isabelle
23:42 Topic for #isabelle is now Official channel for the Isabelle/HOL theorem prover: http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html || Now with logging: http://irclog.perlgeek.de/isabelle/
23:58 aloiscochard joined #isabelle

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