Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
Isabelle2019->20: session Isac works again
authorWalther Neuper <walther.neuper@jku.at>
Tue, 06 Oct 2020 12:44:42 +0200
changeset 600806103433242cb
parent 60079 fbe1652b0df8
child 60081 e6af6e258584
Isabelle2019->20: session Isac works again
src/Tools/isac/ROOT file | annotate | diff | comparison | revisions 
     1.1 --- a/src/Tools/isac/ROOT	Tue Oct 06 12:42:25 2020 +0200
     1.2 +++ b/src/Tools/isac/ROOT	Tue Oct 06 12:44:42 2020 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4      "../Specify/Specify"
     1.5      "Interpret"
     1.6  
     1.7 -(* run "./bin/isabelle build -v -b Isac" *)
     1.8 +(* run "./bin/isabelle build -v -b Isac"  *)
     1.9  session Isac = Interpret +
    1.10    description "
    1.11      Isac core, prototype of a math-engine and knowledge
wneuper/isa