changeset 59199 | 61b575f65727 |
parent 59193 | ab8fb4f9d9a8 |
child 59209 | 907ce624bd20 |
1.1 --- a/ROOTS Mon Jan 04 13:10:23 2016 +0100 1.2 +++ b/ROOTS Tue Jan 05 11:13:20 2016 +0100 1.3 @@ -12,3 +12,6 @@ 1.4 src/Tools 1.5 src/Tools/isac 1.6 test/Tools/isac/ADDTESTS/session-get_theory/ 1.7 +libisabelle-protocol/isabelle-2015/lib/classy 1.8 +libisabelle-protocol/isabelle-2015 1.9 +libisabelle-protocol/isabelle-common 1.10 \ No newline at end of file