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
This archive was generated by a fusion of
Pipermail (Mailman edition) and