#9 Moved changes for v1.0 from README.md to CHANGES.md file.

Author: dhendriks

CHANGES.md

@@ -16,4 +16,8 @@ All notable changes to this project will be documented in this file.
 * Updated SCM URL for proper Maven Central metadata.
 
 ## [1.0.0] - 2020-03-13
+* This project is a fork of the JavaBDD project on Sourceforge (see https://sourceforge.net/projects/javabdd/ and http://javabdd.sourceforge.net/), based on trunk revision r483 from 2011-11-24.
+* Kept only the pure Java implementations, removing the interfaces to the JDD, BuDDy, CUDD and CAL libraries.
+* Cleaned up the project setup.
+* Adapted project to allow deployment to Maven Central.
 * First release of com.github.javabdd.

README.md

@@ -21,20 +21,14 @@ advanced variable reordering.
 
 ## History
 
-This version of JavaBDD is a fork from the Sourceforge version, see:
+This version of JavaBDD is a fork of the Sourceforge version, see:
 
  * http://javabdd.sourceforge.net/
  * https://sourceforge.net/projects/javabdd/
 
-The code from trunk revision r483 from 2011-11-24 was used.
+It is based on trunk revision r483 from 2011-11-24.
 
-It has been modified as follows:
- * Only the pure Java implementations are kept. The interfaces to the JDD
-   library, as well as the BuDDy, CUDD, and CAL libraries have been removed.
- * Cleaned up the project setup.
- * Adapted project to allow deployment to Maven Central.
- 
-Subsequent changes are recorded in the [CHANGES.md](CHANGES.md) file.
+See [CHANGES.md](CHANGES.md) for all changes that have been made in this fork.
 
 ## License