equal
deleted
inserted
replaced
7 |
7 |
8 see ~~/etc/settings |
8 see ~~/etc/settings |
9 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
9 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
10 before out-outcommenting (*, browser_info = true*) below and ... |
10 before out-outcommenting (*, browser_info = true*) below and ... |
11 $ ./bin/isabelle build -o browser_info -v -c HOL |
11 $ ./bin/isabelle build -o browser_info -v -c HOL |
12 $ ./bin/isabelle build -o browser_info -d src/Tools/isac/ -v -b Isac |
12 $ ./bin/isabelle build -o browser_info -d src/Tools/isac/ -v -b Isac ERROR: duplicate session Isac ?!? |
13 *) |
13 *) |
14 |
14 |
15 session Isac in "~~/src/Tools/isac" = HOL + |
15 session Isac in "~~/src/Tools/isac" = HOL + |
16 description {* |
16 description {* |
17 Isac core, prototype of a math-engine and knowledge |
17 Isac core, prototype of a math-engine and knowledge |