Re: [isabelle] few questions about Isabelle/jEdit

Le Sun, 20 Apr 2014 16:04:56 +0200, noam neer <noamneer at> a écrit:

how do I run it as batch job on windows ?

On Sun, 20 Apr 2014, Yannick Duchêne (Hibou57) wrote:

The batch mode is when Isabelle is not running in interactive mode.

To understand all of this, you may have a look at “The Isabelle System Manual” which is the file `doc/system.pdf`.

The Isabelle manuals are also accessible in the Documentation panel, which is open by default in Isabelle/jEdit.

Anyway, the question above might be more basic: How to run batch tools at all. For Isabelle on Windows there is Cygwin-Terminal in the top-level directory, see also


This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.