Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2016-08-18

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

All times shown according to UTC.

Time Nick Message
05:50 ThreeOfEight chuchuco1ny: Well I guess it's a first step towards updating to Isabelle2016-1
05:51 ThreeOfEight if you want to do this /now/, the Snapshot is probably a good choice.
05:51 ThreeOfEight But you could also just wait for Isabelle2016-1
11:12 silver joined #isabelle
11:52 Damaki joined #isabelle
16:24 Damaki joined #isabelle
22:20 andromeda-galaxy joined #isabelle
22:21 andromeda-galaxy I've noticed that it seems like Sledgehammer is often able to find proofs to add manually that the smt tactic can't come up with when used as 'by smt'; out of curiosity, why is that?

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