| author | wneuper <Walther.Neuper@jku.at> |
| Wed, 11 Jan 2023 11:38:01 +0100 | |
| changeset 60650 | 06ec8abfd3bc |
| parent 59472 | 3e904f8ec16c |
| permissions | -rw-r--r-- |
| wneuper@59353 | 1 |
(* hints on Isabelle system usage *) |
| neuper@48808 | 2 |
|
| neuper@48808 | 3 |
theory Hints imports Main begin |
| neuper@48808 | 4 |
|
| wneuper@59472 | 5 |
text \<open>hints, which are not immediately used somewhere in isac\<close> |
| wneuper@59472 | 6 |
subsection \<open>\<close> |
| wneuper@59472 | 7 |
subsection \<open>\<close> |
| wneuper@59472 | 8 |
subsection \<open>\<close> |
| wneuper@59472 | 9 |
subsection \<open>\<close> |
| wneuper@59472 | 10 |
subsection \<open>system setup\<close> |
| wneuper@59472 | 11 |
text \<open>Makarius 12/27/2012 11:01 AM: |
| neuper@48808 | 12 |
Re: [isabelle-dev] Where do I get jdk1.7.0_09.tar.gz for Cygwin/Windows ? |
| neuper@48808 | 13 |
isabelle getenv ISABELLE_HOME_USER |
| neuper@48808 | 14 |
|
| neuper@48808 | 15 |
neuper@neuper:/usr/local/isabisac$ isabelle getenv ISABELLE_HOME_USER |
| neuper@48808 | 16 |
ISABELLE_HOME_USER=/home/neuper/.isabelle |
| neuper@48808 | 17 |
neuper@neuper:/usr/local/isabisac$ |
| neuper@48808 | 18 |
neuper@neuper:/usr/local/isabisac$ /usr/local/isabisac/bin/isabelle getenv ISABELLE_HOME_USER |
| neuper@48808 | 19 |
ISABELLE_HOME_USER=/home/neuper/.isabelle/Isabelle2012 |
| wneuper@59472 | 20 |
\<close> |
| neuper@48808 | 21 |
|
| wneuper@59472 | 22 |
subsection \<open>Scala\<close> |
| wneuper@59472 | 23 |
ML \<open>Invoke_Scala.method "java.lang.System.getProperty" "user.home"\<close> |
| neuper@48808 | 24 |
|
| neuper@48808 | 25 |
end |