Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
Isabelle2019->20: notify Isabelle about Isac sessions
authorWalther Neuper <walther.neuper@jku.at>
Thu, 24 Sep 2020 12:56:19 +0200
changeset 6006955da72c1deb6
parent 60068 b16e01627980
child 60070 e47fe13e335b
Isabelle2019->20: notify Isabelle about Isac sessions
ROOTS file | annotate | diff | comparison | revisions 
     1.1 --- a/ROOTS	Wed Sep 23 16:28:56 2020 +0200
     1.2 +++ b/ROOTS	Thu Sep 24 12:56:19 2020 +0200
     1.3 @@ -10,4 +10,5 @@
     1.4  src/Sequents
     1.5  src/Doc
     1.6  src/Tools
     1.7 -
     1.8 +src/Tools/isac
     1.9 +test/Tools/isac/ADDTESTS/session-get_theory/
wneuper/isa