equal
deleted
inserted
replaced
46 * Forward declaration of outer syntax keywords within the theory |
46 * Forward declaration of outer syntax keywords within the theory |
47 header -- minor INCOMPATIBILITY for user-defined commands. Allow new |
47 header -- minor INCOMPATIBILITY for user-defined commands. Allow new |
48 commands to be used in the same theory where defined. |
48 commands to be used in the same theory where defined. |
49 |
49 |
50 * ISABELLE_JDK_HOME settings variable points to JDK with javac and jar |
50 * ISABELLE_JDK_HOME settings variable points to JDK with javac and jar |
51 (not just JRE), derived from JAVA_HOME from the shell environment or |
51 (not just JRE). |
52 java.home of the running JVM. |
|
53 |
52 |
54 |
53 |
55 *** Pure *** |
54 *** Pure *** |
56 |
55 |
57 * Command 'definition' no longer exports the foundational "raw_def" |
56 * Command 'definition' no longer exports the foundational "raw_def" |