We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 4d2c903 commit e31fa25Copy full SHA for e31fa25
build.sbt
@@ -3,7 +3,7 @@ lazy val parserLib = ProjectRef(uri("git://github.com/leoprover/scala-tptp-parse
3
lazy val rio = (project in file("."))
4
.settings(
5
name := "rio",
6
- version := "1.0",
+ version := "1.1",
7
description := "A reasoner for Input/Output logics",
8
organization := "net.aurelee",
9
scalaVersion := "2.13.4",
src/main/scala/net/aurelee/rio/Main.scala
@@ -9,7 +9,7 @@ import java.io.FileNotFoundException
10
object Main {
11
final val name: String = "rio"
12
- final val version: String = "1.0"
+ final val version: String = "1.1"
13
14
private[this] var inputFileName = ""
15
private[this] var outOperatorParameter: Option[String] = None
0 commit comments