Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
correct buid of Isac
authorWalther Neuper <neuper@ist.tugraz.at>
Tue, 01 Jul 2014 16:13:04 +0200
changeset 554723b93a3fae554
parent 55471 3b2a8b0d8fa9
child 55473 a8ba481272a2
correct buid of Isac

previously error: "duplicate session Isac"
src/Tools/isac/ROOT file | annotate | diff | comparison | revisions 
     1.1 --- a/src/Tools/isac/ROOT	Tue Jul 01 16:10:52 2014 +0200
     1.2 +++ b/src/Tools/isac/ROOT	Tue Jul 01 16:13:04 2014 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4    ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
     1.5  before out-outcommenting (*, browser_info = true*) below and ...
     1.6  $ ./bin/isabelle build -o browser_info -v -c HOL
     1.7 -$ ./bin/isabelle build -o browser_info -d src/Tools/isac/ -v -b Isac     ERROR: duplicate session Isac ?!?
     1.8 +$ ./bin/isabelle build -o browser_info -v -b Isac
     1.9  *)
    1.10  
    1.11  session Isac in "~~/src/Tools/isac" = HOL +
wneuper/isa