equal
deleted
inserted
replaced
4 |
4 |
5 see ~~/etc/settings |
5 see ~~/etc/settings |
6 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
6 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
7 before out-outcommenting (*, browser_info = true*) below and ... |
7 before out-outcommenting (*, browser_info = true*) below and ... |
8 $ ./bin/isabelle build -o browser_info -v -c HOL |
8 $ ./bin/isabelle build -o browser_info -v -c HOL |
|
9 $ ./bin/isabelle build -o browser_info -v -b Specify |
|
10 $ ./bin/isabelle build -o browser_info -v -b Interpret |
9 $ ./bin/isabelle build -o browser_info -v -b Isac |
11 $ ./bin/isabelle build -o browser_info -v -b Isac |
10 # this creates, among others: |
12 # this creates, among others: |
11 # file:///home/wneuper/.isabelle/isabisac/browser_info/Unsorted/Isac/session_graph.pdf |
13 # file:///home/walthern/.isabelle/isabisac/browser_info/HOL/index.html |
|
14 # file:///home/walthern/.isabelle/isabisac/browser_info/Unsorted/index.html |
|
15 # file:///home/walthern/.isabelle/isabisac/browser_info/Unsorted/Specify/session_graph.pdf |
|
16 # file:///home/walthern/.isabelle/isabisac/browser_info/Unsorted/Interpret/session_graph.pdf |
|
17 # file:///home/walthern/.isabelle/isabisac/browser_info/Unsorted/Isac/session_graph.pdf |
12 *) |
18 *) |
13 |
19 |
14 (* run "./bin/isabelle build -v -b Specify" *) |
20 (* run "./bin/isabelle build -v -b Specify" *) |
15 session Specify in Specify = HOL + |
21 session Specify in Specify = HOL + |
16 description " |
22 description " |