Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2014-08-15

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

All times shown according to UTC.

Time Nick Message
07:22 wignode joined #isabelle
07:23 wignode hi, does calling "remote_satallax" via sledgehammer work for you? It seems to me that it instantly gives up on every problem I throw at him.

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