equal
deleted
inserted
replaced
14 Important settings within Isabelle environment |
14 Important settings within Isabelle environment |
15 ============================================== |
15 ============================================== |
16 |
16 |
17 - JAVA_HOME |
17 - JAVA_HOME |
18 - SCALA_HOME |
18 - SCALA_HOME |
19 - JEDIT_BUILD_HOME (via "init_component .../jedit_build...") |
19 - ISABELLE_JEDIT_BUILD_HOME (via "init_component .../jedit_build...") |
20 |
20 |
21 |
21 |
22 Build and run |
22 Build and run |
23 ============= |
23 ============= |
24 |
24 |