From b6029760139d98be936be171662828119325a652 Mon Sep 17 00:00:00 2001 From: Viktor Kuncak Date: Sun, 15 Sep 2024 22:19:10 +0200 Subject: [PATCH] Removed mention of Scala 2 --- docs/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/README.md b/docs/README.md index d9e7757465..04940aadf7 100644 --- a/docs/README.md +++ b/docs/README.md @@ -2,7 +2,7 @@ Stainless consists of several sbt projects. The core verifier sources are in `core/src/scala`. -There are separate front ends for Scala 3 (primary one), Scala 2, and sbt. +There is a front end for Scala 3, as well as an sbt plugin (which also compiles and eliminates ghost code). The documentation from user's point of view is in `core/src/sphinx`.