diff --git a/README.md b/README.md
index b89a3a7..d72479f 100644
--- a/README.md
+++ b/README.md
@@ -12,17 +12,7 @@ The package contains a data structure for the abstract syntax tree (AST) of the
   * CNF: (Untyped) clause-normal form, and
   * TPI: TPTP Process Instruction language.
 
-The parser was initially based on v7.4.0.3 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html), 
-but should now be up-to-date with v7.5.0.0.
-
-**New since v1.4:** `scala-tptp-parser` also supports parsing the new TPTP format for non-classical logics (see http://tptp.org/NonClassicalLogic/)
-
-**New since v1.5:** `scala-tptp-parser` supports ... 
-  - parsing block and line (user/defined/system) comments into the AST
-(limited to those which start at the beginning of a line). Thanks to [@XBagon](https://github.com/XBagon)
-for adding this feature!
-  - parsing sub-roles (e.g., `axiom-something` or `conjecture-[strength(0.85)]`). In general, any `<general_term>` may
-  - be used as sub-role.
+The parser aims at v7.5.0.0 of the TPTP syntax BNF (http://tptp.org/TPTP/SyntaxBNF.html).
 
 `scala-tptp-parser` may be referenced using [![DOI](https://zenodo.org/badge/328686203.svg)](https://zenodo.org/badge/latestdoi/328686203)
 
@@ -30,7 +20,7 @@ for adding this feature!
 ## Install
 [![Maven Central](https://img.shields.io/maven-central/v/io.github.leoprover/scala-tptp-parser_2.13.svg?label=Maven%20Central)](https://search.maven.org/search?q=g:%22io.github.leoprover%22%20AND%20a:%22scala-tptp-parser_2.13%22)
 
-The Scala TPTP parser is available on [Maven Central](https://search.maven.org/artifact/io.github.leoprover/scala-tptp-parser_2.13) (current version: 1.5).
+The Scala TPTP parser is available on [Maven Central](https://search.maven.org/artifact/io.github.leoprover/scala-tptp-parser_2.13) (current version: 1.6).
 Snapshots are available on [Sonatype](https://s01.oss.sonatype.org/content/repositories/snapshots/io/github/leoprover/scala-tptp-parser_2.13/).
 
 ### Maven
@@ -40,7 +30,7 @@ In order to include `scala-tptp-parser` into your project via Maven, just add th
 <dependency>
   <groupId>io.github.leoprover</groupId>
   <artifactId>scala-tptp-parser_2.13</artifactId>
-  <version>1.3</version>
+  <version>1.6</version>
 </dependency>
 ```
 
@@ -48,7 +38,7 @@ In order to include `scala-tptp-parser` into your project via Maven, just add th
 
 In order to include `scala-tptp-parser` into your project via SBT, just add the following dependency to your `build.sbt`:
 ```scala
-libraryDependencies += "io.github.leoprover" %% "scala-tptp-parser" % "1.5"
+libraryDependencies += "io.github.leoprover" %% "scala-tptp-parser" % "1.6"
 ```
 
 ### Non-sbt-projects
@@ -96,3 +86,12 @@ try {
  case e: TPTPParseException => println(s"Parse error at line ${e.line}:${e.offset}: ${e.getMessage}")
 }
 ```
+
+## Version history
+
+  - 1.6: Support for sequents in TFX and THF
+  - 1.5: Support for block and line (user/defined/system) comments into the AST
+    (limited to those which start at the beginning of a line). Thanks to [@XBagon](https://github.com/XBagon)
+    for adding this feature!
+  - 1.5: Support for sub-roles (e.g., `axiom-something` or `conjecture-[strength(0.85)]`). In general, any `<general_term>` may be used as sub-role.
+  - 1.4: Support for non-classical TPTP (http://tptp.org/NonClassicalLogic/)
\ No newline at end of file