Email Gateway (Aug 19 2022 at 07:58): Email Gateway (Aug 19 2022 at 07:58):From: Jens Doll <jd@cococo.de>
Hello Jasmine,
the command line interface does not work in Win7. I tried
isabelle.exe -l FOL
but only jEdit was opened.
What's wrong??
Jens
Email Gateway (Aug 19 2022 at 07:59):From: Jasmin Blanchette <jasmin.blanchette@gmail.com>
Why are you asking me in particular?
The command line interface is invoked by the "isabelle tty" command.
Regards,
Jasmin
Email Gateway (Aug 19 2022 at 07:59):From: Makarius <makarius@sketis.net>
By running the main Isabelle.exe application you have asked to start
Isabelle/jEdit. So nothing is wrong.
If you want to run the "isabelle" tool wrapper script on the Cygwin
command line, you need to make sure that your cd is not the main Isabelle
directory by accident.
Next time I will make sure that Isabelle.exe is called something like
Isabelle2012.exe, to avoid these old MS-DOS path search problems
(case-insensitive file-system and implicit "." lookup).
Makarius
Email Gateway (Aug 19 2022 at 07:59):From: Gottfried Barrow <gottfried.barrow@gmx.com>
Jens,
Here's a batch file and bash file combination for a particular way I
want to use the isabelle command. For this one, I set the jEdit command
line option "-settings" so that this process of jEdit can have settings
different than my main use of jEdit, but Isabelle gets the same home
folder for any heaps that have been built.
You'd want to get rid of that, but just edit the batch file to set your
environment, and edit the bash file to call whatever isabelle command
you want, such as "isabelle jedit", "isabelle browser", "isabelle usedir
-b", "isabelle getenv USER_HOME", etc.
Put a "pause" in your batch file if the command console is disappearing
because isabelle terminates because of an error.
BATCH FILE: 12_jedit_set1.bat
::Cygwin uses this home
set HOME=E:\E_main\02-p\pi\home
::Isabelle uses this home
set USER_HOME=/cygdrive/e/E_main/02-p/pi/home
::Various
set ISAVERSION=Isabelle2012
set PATH=E:\E_main2\binp\%ISAVERSION%\bin;%PATH%
set CHERE_INVOKING=true
::jEdit options, "-j -settings /path" will put and use jEdit settings in
%USERPROFILE%\path
set JEDITOPTIONS=-j -settings=/.isabelle/%ISAVERSION%/jedit1
E:\E_main2\binp\%ISAVERSION%\contrib\cygwin-1.7.9\bin\bash --login -i
%~dp012_jedit_set1.bash
BASH FILE: 12_jedit_set1.bash
#!/usr/bin/env bash
########################################################
printenv
/cygdrive/e/E_main2/binp/$ISAVERSION/bin/isabelle jedit $JEDITOPTIONS
Last updated: Apr 18 2024 at 08:19 UTC