Mercurial Mercurial > wneuper > isa / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | bz2 | gz | help
removed ERROR: Undefined session(s): "Isac"
authorWalther Neuper <neuper@ist.tugraz.at>
Sun, 21 Jul 2013 15:15:50 +0200
changeset 520697f7e1bde6e01
parent 52068 8ec8824f61de
child 52070 77138c64f4f6
removed ERROR: Undefined session(s): "Isac"
ROOTS file | annotate | diff | comparison | revisions 
     1.1 --- a/ROOTS	Sun Jul 21 15:11:01 2013 +0200
     1.2 +++ b/ROOTS	Sun Jul 21 15:15:50 2013 +0200
     1.3 @@ -9,3 +9,5 @@
     1.4  src/LCF
     1.5  src/Sequents
     1.6  src/Doc
     1.7 +src/Tools/isac
     1.8 +
wneuper/isa