2.4.0: Changelog and docs incorporate property stuff

.gitignore

@@ -12,3 +12,4 @@ docs/_build
 /web/npm-debug.log
 log/
 /deleteme.sqllite
+/.pact-history

CHANGELOG.md

@@ -1,3 +1,14 @@
+2.4.0
+---
+* Preview support of of property-based formal verification
+* Fix fold type signature
+* Refactor ghcjs code into external project
+* Various bug fixes in typechecker
+* GHC 8.4 support (semigroup instances, statistics-0.14)
+* "No-Leftpad" dependency management implementation
+* Nested schema support
+
+
 2.3.8
 ---
 * Pact tool improvements: auto-complete, readline support, better multiline

docs/build.sh

@@ -4,9 +4,12 @@
 
 rm -rf _build
 
-pandoc -s -t rst pact-reference.md pact-functions.md -o pact-reference.rst
+pandoc -s -t rst pact-reference.md -o pact-reference.rst
+pandoc -s -t rst pact-functions.md -o pact-functions.rst
+pandoc -s -t rst pact-properties.md -o pact-properties.rst
 
 # escape +, - headings
 perl -p0777i -e 's/^(\+|\-)\n~/\\\1\n~~/gm' pact-reference.rst
+perl -p0777i -e 's/^(\+|\-)\n~/\\\1\n~~/gm' pact-functions.rst
 
 sphinx-build -b html -d _build/doctrees . _build/html

docs/conf.py

@@ -61,9 +61,9 @@
 # built documents.
 #
 # The short X.Y version.
-version = u'2.3.8'
+version = u'2.4.0'
 # The full version, including alpha/beta/rc tags.
-release = u'2.3.8'
+release = u'2.4.0'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.

docs/index.rst

@@ -12,3 +12,7 @@ Contents:
    :maxdepth: 3
 
    pact-reference
+
+   pact-properties
+
+   pact-functions

docs/pact-functions.md

@@ -1,3 +1,4 @@
+# Built-in Functions {#builtins}
 ## General {#General}
 
 ### at {#at}
@@ -282,7 +283,7 @@ Return ID if called during current pact execution, failing if not.
 Obtain current pact build version. 
 ```lisp
 pact> (pact-version)
-"2.3.8"
+"2.4.0"
 ```