Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-07-31

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

All times shown according to UTC.

Time Nick Message
01:47 ilbot3 joined #isabelle
01:47 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/
10:39 silver joined #isabelle
13:07 larsrh ammbauer: a bug which has been fixed in devel: https://devel.isa-afp.org/browser_info/current/AFP/IP_Addresses/session_graph.pdf
13:08 larsrh see also https://lists.cam.ac.uk/pipermail/cl-isabelle-users/2016-April/msg00053.html
15:14 Damaki joined #isabelle
18:50 silver joined #isabelle
23:19 silver joined #isabelle

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