equal
deleted
inserted
replaced
36 } |
36 } |
37 |
37 |
38 // Isabelle system instance |
38 // Isabelle system instance |
39 var system: IsabelleSystem = null |
39 var system: IsabelleSystem = null |
40 def symbols = system.symbols |
40 def symbols = system.symbols |
|
41 lazy val completion = new Completion + symbols |
41 |
42 |
42 // settings |
43 // settings |
43 def default_logic = { |
44 def default_logic = { |
44 val logic = Isabelle.Property("logic") |
45 val logic = Isabelle.Property("logic") |
45 if (logic != null) logic else Isabelle.system.getenv_strict("ISABELLE_LOGIC") |
46 if (logic != null) logic else Isabelle.system.getenv_strict("ISABELLE_LOGIC") |