Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-11-05

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

All times shown according to UTC.

Time Nick Message
19:57 YwHnAvqHhb joined #isabelle
19:57 YwHnAvqHhb https://www.youtube.com/watch?v=qfL5KwUuvMc - please don't let this be buried
19:57 YwHnAvqHhb left #isabelle
23:41 JCaesar "Pattern match failed!" uhoh…
23:41 JCaesar (and that's really the only error)
23:41 larsrh FYI: Scala's build tool can now build Isabelle sessions and publish them to Maven Central
23:41 larsrh JCaesar: where?
23:41 JCaesar when stating a lemma
23:43 larsrh uh oh
23:43 larsrh RC1?
23:47 JCaesar nope.
23:48 JCaesar Hm, I wonder whether my version of Iptables_Semantics will even load with that…
23:53 larsrh Can you post the failing theory somewhere?
23:55 larsrh there were only minor updates necessary to make it work with RC1
23:59 JCaesar https://github.com/jcaesar/Iptables_Semantics it's in thy/Routing/ReversePathFiltering.thy
23:59 JCaesar (and no, that does not qualify as a minimal example…)

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