ENSIME User ManualContents 1 Introduction 1.1 What is ENSIME? 2 Installation 2.1 System Requirements 2.2 Getting Started 3 Creating a Project 3.1 Generating a Config File 3.1.1 Using sbt to Generate a Config File 3.1.2 Generating Configs for Other Project Types 3.2 Notes on Specific Project Types 3.2.1 SBT 3.2.2 Other 3.3 Config File Format 4 Usage 4.1 Startup 4.2 Symbol and Member Co
