Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-06-26

| 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/
07:35 ilbot3 joined #isabelle
07:35 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/
13:28 silver joined #isabelle
13:31 Damaki joined #isabelle
13:59 fracting joined #isabelle
19:54 JCaesar Meh. simp is just throwing a "Tactic failed" at me, without anything further. Now that's nice…
20:47 chuchucorny (in case someone cares: https://github.com/diekmann/Iptables_Semantics/blob/ipv6/thy/IP_Addresses/CIDR_Split.thy#L353 (or JCaesar's fork))
21:14 JCaesar The funny part is: I just triggered the thing again, in a different part of the file, after forgetting about this one…
21:15 JCaesar (That proof there is gone, for obvious reasons…)
21:17 chuchucorny :D

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