This repository was archived by the owner on Dec 6, 2018. It is now read-only.
This repository was archived by the owner on Dec 6, 2018. It is now read-only.
Use the new Isolate GitHub repository #56
Description
Isolate has been finally hosted on GitHub: https://github.com/ioi/isolate.
Use it instead of the old repository.