Re: [isabelle] few questions about Isabelle/jEdit



Le Sun, 20 Apr 2014 16:04:56 +0200, noam neer <noamneer at gmail.com> 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 http://isabelle.in.tum.de/installation.html


	Makarius


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