@ -3,7 +3,7 @@ We'll be using mate-tools to perform SRL on Kres.
## workspace
The tools require Java.
See `./dockerfiles/mate-tool-env/README.md` for environment preparation.
See `./dockerfiles/python-java/README.md` for environment preparation.
## mate-tools
Check out `./tools/srl-20131216/README.md`.