Email Gateway (Aug 22 2022 at 11:32): Email Gateway (Aug 22 2022 at 11:32):From: Rustom Mody <rustompmody@gmail.com>
Starting as
$ Isabelle.run
always opens scratch.thy
Starting as
$ Isabelle.run -nosplash
opens blank
Is this the expected behavior?
Email Gateway (Aug 22 2022 at 11:32):From: Makarius <makarius@sketis.net>
Yes, because the command-line is non-empty and thus there is no default
added.
Note that Isabelle.run is merely an auxiliary script to the main
Isabelle application wrapper on Linux. You normally invoke it by
double-clicking on the Desktop.
Command-line invocations are done with "isabelle jedit" and its various
options. A short description is printed like this:
Isabelle2015/bin/isabelle jedit -?
A long description is in the "jedit" manual, which is accessible in the
Document panel, or on the command-line like this:
Isabelle2015/bin/isabelle doc jedit
Makarius
Email Gateway (Aug 22 2022 at 11:33):From: Makarius <makarius@sketis.net>
Reading this a second time, I guess that you merely wanted to disable the
splash screen, and not play with command-line options.
See the regular jEdit menu Utilities / Global Options / Appearance: Show
splash screen on startup.
Makarius
Last updated: Apr 25 2024 at 16:19 UTC