# HG changeset patch
# User Steve Losh <steve@stevelosh.com>
# Date 1472142037 0
# Node ID 70fe5c8d7d7dc328ddf4352f1c83c25db8269220
# Parent  9aadf6ee2d05c2c8f3efa4ef5e0b92a34e3004c1
Update

diff -r 9aadf6ee2d05 -r 70fe5c8d7d7d README.markdown
--- a/README.markdown	Wed Aug 24 23:22:10 2016 +0000
+++ b/README.markdown	Thu Aug 25 16:20:37 2016 +0000
@@ -1229,4 +1229,8 @@
 
 ### 2016-08-24
 
-* Finished plugging [Temperance][] into the GDL benchmark suite.
+* Finished plugging [Temperance][] (and PAIProlog) into the GDL benchmark suite.
+
+### 2016-08-25
+
+* More chatting/printing about BDDs.