Release note的なのはない。いまRC2 Release 1.2.0-RC2 · sbt/sbt · GitHub

PDFファイルをgrepする aptでインストールできる(Ubuntu 18.04) 日本語検索も可能 pdfgrep