equal
deleted
inserted
replaced
99 ### |
99 ### |
100 |
100 |
101 # Where to look for docs (multiple dirs separated by ':'). |
101 # Where to look for docs (multiple dirs separated by ':'). |
102 ISABELLE_DOCS="$ISABELLE_HOME/doc" |
102 ISABELLE_DOCS="$ISABELLE_HOME/doc" |
103 |
103 |
|
104 ISABELLE_DOCS_RELEASE_NOTES="ANNOUNCE:README:NEWS:COPYRIGHT:CONTRIBUTORS:contrib/README:README_REPOSITORY" |
|
105 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" |
|
106 |
104 # "open" within desktop environment (potentially asynchronous) |
107 # "open" within desktop environment (potentially asynchronous) |
105 case "$ISABELLE_PLATFORM_FAMILY" in |
108 case "$ISABELLE_PLATFORM_FAMILY" in |
106 linux) |
109 linux) |
107 ISABELLE_OPEN="xdg-open" |
110 ISABELLE_OPEN="xdg-open" |
108 ;; |
111 ;; |