ensime-controller-jsControls the ENSIME server and establishes the communication with it.ensimescalacontroller1.4.0 • Published 8 years ago
ensime-launcher-jsJavascript launcher for the ENSIME server.ensimescalalauncherstart2.2.0 • Published 8 years ago