minervagui

Wrappers minerva and minervagui are used to invoke MINERVA as a standalone application. Minervagui includes support for the predicates that correspond to the Java AWT toolkit for graphical user interfaces.

Parameters are:

• -c file
  Announces to MINERVA to load from a *.mca MINERVA Archive File.

• -sp path
  Announces to MINERVA the search paths for dynamically loaded *.mpk package interface files and *.mbc object files.

  List several search paths for applets with ':', for applications with the host system dependent seperator (':' for Unix and ';' for Windows).

• -encoding ENCODING
  Instructs MINERVA to open files in some encoding by default. E.g. to read or write files written with Japanese EUC characters use

  minerva -encoding EUCJIS

  Specifying the encoding option in open/4 explicitly overrides this command line option.

• -syntax strict|classic
  -syntax strict tells minerva to use unicode mapping for syntactically relevant characters. This is the default.
  -syntax classic tells minerva to treat all non-asciis syntactically as lower case letters. This is relevant for reading terms. Specifying the syntax option in open/4 overrides this command line option.

• -l path
  Instructs MINERVA to load an object file at startup time. path must be a file with MINERVA object code (but does not include the .mbc suffix). Several -l argments may exist to force immediate loading of program components. Other program components are loaded automatically when first needed.

• -b Class
  Instructs MINERVA to load an additional Java component. Note that we have reservations to recommend this way of loading external classes because many browsers and Java virtual machines do not handle completely dynamic loading of classes correctly.
  Alternatively use the MINERVA Extender minervax to produce an environment that includes the extension from startup time.

• -p
  Instructs MINERVA to use an alternative *.msp MINERVA Startup Properties file.

• -v
  Verbose. Used to trace the loading of *.mbc MINERVA Binary Code files and other information to System.err.

• --
  This can be used to delimit the list of system parameters. All following parameters are handed over to main/1 of the MINERVA application program.