equal
deleted
inserted
replaced
108 ### |
108 ### |
109 |
109 |
110 # Where to look for docs (multiple dirs separated by ':'). |
110 # Where to look for docs (multiple dirs separated by ':'). |
111 ISABELLE_DOCS="$ISABELLE_HOME/doc" |
111 ISABELLE_DOCS="$ISABELLE_HOME/doc" |
112 |
112 |
113 ISABELLE_DOCS_RELEASE_NOTES="ANNOUNCE:README:NEWS:COPYRIGHT:CONTRIBUTORS:contrib/README:src/Tools/jEdit/README:README_REPOSITORY" |
113 ISABELLE_DOCS_RELEASE_NOTES="~~/ANNOUNCE:~~/README:~~/NEWS:~~/COPYRIGHT:~~/CONTRIBUTORS:~~/contrib/README:~~/src/Tools/jEdit/README:~~/README_REPOSITORY" |
114 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" |
114 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" |
115 |
115 |
116 # "open" within desktop environment (potentially asynchronous) |
116 # "open" within desktop environment (potentially asynchronous) |
117 case "$ISABELLE_PLATFORM_FAMILY" in |
117 case "$ISABELLE_PLATFORM_FAMILY" in |
118 linux) |
118 linux) |