Merge commit '940f9d0406114b37978e3864d00563bdff752599'

Author: pholser

theories/.gitignore

@@ -1,4 +1,5 @@
 target
+.idea/
 *.iml
 *.ipr
 *.iws

theories/README.md

@@ -3,9 +3,9 @@ JUnit Theories Runner
 
 This is a port of the JUnit theories runner into junit.contrib.
 
-In addition to being current with the theories implementation in the latest release of JUnit and
+In addition to being current with the theories implementation in JUnit 4.12 and
 depending on its core, this implementation contains a resolution for
-[JUnit GitHub issue 64](http://github.com/KentBeck/junit/issues/64), making it possible for
+[JUnit GitHub issue 64](http://github.com/junit-team/junit/issues/64), making it possible for
 [junit-quickcheck](http://github.com/pholser/junit-quickcheck) to generate values for theory
 parameters involving generics in a safe manner.
 
@@ -14,8 +14,24 @@ so that the one in the core can be removed, meaning that this runner can evolve
 releases of JUnit.
 
 **PLEASE NOTE**: The classes that comprise this rendition of the JUnit theories runner are packaged
-as `org.junit.contrib.theories.*`, rather than `org.junit.experimental.theories.*`. Be careful not
-to intermix the two.
+as `org.junit.contrib.theories.*`, rather than `org.junit.experimental.theories.*`. Be mindful of
+which one you're using.
+
+## Downloading
+
+Releases are synced to the central Maven repository. Declare a dependency element in your POM like so:
+
+    ...
+    <dependencies>
+      ...
+      <dependency>
+        <groupId>org.junit.contrib</groupId>
+        <artifactId>junit-theories</artifactId>
+        <version>4.12</version>
+      </dependency>
+      ...
+    </dependencies>
+    ...
 
 ### What is a theory?
 
@@ -84,9 +100,9 @@ We can eliminate duplicated test logic sometimes by using parameterized tests:
 Neither of these tests expresses important characteristics we want the the answers given by
 `PrimeFactors.of()` to exhibit: No matter what positive integer you give the method...
 
-* The factors should be prime
-* The factors should multiply together to give the original integer
-* No two factorizations of two distinct integers are identical
+* The factors must be prime
+* The factors must multiply together to give the original integer
+* Factorizations of two distinct integers must themselves be distinct (the Fundamental Theorem of Arithmetic)
 
 Whenever we want to express characteristics of a test subject that hold for entire classes of
 inputs, and we can express the characteristics in terms of inputs and outputs, we can codify these