equal
deleted
inserted
replaced
9 |
9 |
10 |
10 |
11 object Scala_Project { |
11 object Scala_Project { |
12 /** build tools **/ |
12 /** build tools **/ |
13 |
13 |
14 val java_version: String = "17" |
14 val java_version: String = "21" |
15 val scala_version: String = "3.3.0" |
15 val scala_version: String = "3.3.0" |
16 |
16 |
17 abstract class Build_Tool { |
17 abstract class Build_Tool { |
18 def project_root: Path |
18 def project_root: Path |
19 def init_project(dir: Path, jars: List[Path]): Unit |
19 def init_project(dir: Path, jars: List[Path]): Unit |