equal
deleted
inserted
replaced
867 delsplits ~> Splitter.del_split |
867 delsplits ~> Splitter.del_split |
868 |
868 |
869 |
869 |
870 *** System *** |
870 *** System *** |
871 |
871 |
|
872 * USER_HOME settings variable points to cross-platform user home |
|
873 directory, which coincides with HOME on POSIX systems only. Likewise, |
|
874 the Isabelle path specification "~" now expands to $USER_HOME, instead |
|
875 of former $HOME. A different default for USER_HOME may be set |
|
876 explicitly in shell environment, before Isabelle settings are |
|
877 evaluated. Minor INCOMPATIBILITY: need to adapt Isabelle path where |
|
878 the generic user home was intended. |
|
879 |
872 * ISABELLE_JDK_HOME settings variable points to JDK with javac and jar |
880 * ISABELLE_JDK_HOME settings variable points to JDK with javac and jar |
873 (not just JRE). |
881 (not just JRE). |
874 |
882 |
875 * ISABELLE_HOME_WINDOWS refers to ISABELLE_HOME in windows file name |
883 * ISABELLE_HOME_WINDOWS refers to ISABELLE_HOME in windows file name |
876 notation, which is useful for the jEdit file browser, for example. |
884 notation, which is useful for the jEdit file browser, for example. |