Re: [isabelle-dev] Repository version of Isabelle on Windows 7

On Fri, 30 Oct 2015, Makarius wrote: > Somehow the downloaded csdp-6.x.tar.gz came out as corrupted. Just delete > that file and try "isabelle components -a" again. The file csdp-6.x.tar.gz was completely empty. I followed your suggestion and now the output showed that the different .tar.gz

Re: [isabelle-dev] Future of permanent_interpretation

On 09 November, 2015 11:56 CET, Makarius wrote: > It is formally trivial to have 'permanent_interpretation' in Isabelle/Pure > as separate command. If there is a simple way to have just one > 'interpretation' command with 'defines' vs. 'rewrites', I would prefer >

[isabelle-dev] NEWS: State panel

* The State panel manages explicit proof state output, with jEdit action "isabelle.update-state" (shortcut S+ENTER) to trigger update according to cursor position. * The Output panel no longer shows proof state output by default. This reduces resource requirements of prover time and GUI space.

Re: [isabelle-dev] Future of permanent_interpretation

What is the conclusion of this thread for the coming release? Whatever happens, the time window for it is approx. Nov/Dec 2015. Historically, the 'permanent_interpretation' command had to stay outside Isabelle/Pure and Main Isabelle/HOL, because it was overwriting the 'interpretation' command

Re: [isabelle-dev] Repository version of Isabelle on Windows 7

On Mon, 9 Nov 2015, Anders Schlichtkrull wrote: ### Building Isabelle/Scala ... Concurrent\simple_thread.scala:45: error: object getProperty is not a member of package System val m = Properties.Value.Int.unapply(System.getProperty("isabelle.threads", "0")) getOrElse 0 Odd. I've seen