Perl 6 - the future is here, just unevenly distributed

IRC log for #isabelle, 2017-08-26

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

All times shown according to UTC.

Time Nick Message
01:51 ilbot3 joined #isabelle
01:51 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/
16:26 rgrinberg joined #isabelle
16:27 rgrinberg does proof general work with isabelle 2016? I'm getting the following error:  proof-activate-scripting: Searching for program: No such file or directory, isabelle-process
16:32 rgrinberg ah it supports isabelle up to 2014. looks like i'm out of luck
16:49 pruvisto Yeah it was dropped because the maintenance effort was just getting too high
20:31 ezyang joined #isabelle

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