(* :mode=isabelle-options: *)

section "Naproche"

public option naproche_prove : bool = true
  -- "prove goals in the text"

public option naproche_check : bool = true
  -- "check symbols for definedness"

public option naproche_skipfail : bool = true
  -- "ignore failed goals"

public option naproche_server : bool = true
  -- "prefer Naproche server over batch process (change requires restart)"

public option naproche_server_debugging : bool = false
  -- "console debugging for Naproche server"

public option naproche_print_thesis : bool = true
  -- "print thesis development"

public option naproche_translation : bool = true
  -- "print first-order translations"

public option naproche_isabelle : bool = false
  -- "integration of Naproche logic with Isabelle"

option naproche_server_address : string = ""
  -- "address/port of Naproche server"

option naproche_server_password : string = ""
  -- "password for connection to Naproche server"

option naproche_pos_id : string = ""
option naproche_pos_file : string = ""
option naproche_pos_shift : int = 0
