equal
deleted
inserted
replaced
112 |
112 |
113 # Where to look for docs (multiple dirs separated by ':'). |
113 # Where to look for docs (multiple dirs separated by ':'). |
114 ISABELLE_DOCS="$ISABELLE_HOME/doc" |
114 ISABELLE_DOCS="$ISABELLE_HOME/doc" |
115 |
115 |
116 ISABELLE_DOCS_RELEASE_NOTES="~~/ANNOUNCE:~~/README:~~/NEWS:~~/COPYRIGHT:~~/CONTRIBUTORS:~~/contrib/README:~~/src/Tools/jEdit/README:~~/README_REPOSITORY" |
116 ISABELLE_DOCS_RELEASE_NOTES="~~/ANNOUNCE:~~/README:~~/NEWS:~~/COPYRIGHT:~~/CONTRIBUTORS:~~/contrib/README:~~/src/Tools/jEdit/README:~~/README_REPOSITORY" |
117 ISABELLE_DOCS_EXAMPLES="~~/src/HOL/ex/Seq.thy:~~/src/HOL/ex/ML.thy:~~/src/HOL/Unix/Unix.thy:~~/src/HOL/Isar_Examples/Drinker.thy:~~/src/Tools/SML/Examples.thy:~~/src/Pure/ROOT.ML" |
117 ISABELLE_DOCS_EXAMPLES="~~/src/HOL/Examples/Seq.thy:~~/src/HOL/Examples/Drinker.thy:~~/src/HOL/Examples/ML.thy:~~/src/HOL/Unix/Unix.thy:~~/src/Tools/SML/Examples.thy:~~/src/Pure/ROOT.ML" |
118 |
118 |
119 # "open" within desktop environment (potentially asynchronous) |
119 # "open" within desktop environment (potentially asynchronous) |
120 case "$ISABELLE_PLATFORM_FAMILY" in |
120 case "$ISABELLE_PLATFORM_FAMILY" in |
121 linux) |
121 linux) |
122 ISABELLE_OPEN="xdg-open" |
122 ISABELLE_OPEN="xdg-open" |