diff --git a/HISTORY.txt b/HISTORY.txt
index 1427990..169286b 100644
--- a/HISTORY.txt
+++ b/HISTORY.txt
@@ -1,3 +1,6 @@
+July 12, 2018:
+    Release 1.0 with Johan Pascal's build scripts.
+
 October 13, 2017:
     OK, back to preparations for 1.0, today with major changes.
     
diff --git a/TODO.txt b/TODO.txt
index b46d14d..cdc0ae9 100644
--- a/TODO.txt
+++ b/TODO.txt
@@ -1,4 +1,4 @@
-Important work items for Ed448-Goldilocks / decaf:
+Important work items for Ed448-Goldilocks / decaf / Ristretto.
 
 * Test signed 32-bit NEON implementation to avoid bias/reduce after subtract
 
@@ -6,7 +6,7 @@ Important work items for Ed448-Goldilocks / decaf:
   other implementors.
     * Pretty good progress on Doxygenating the code.
 
-* Documentation: write a spec or add to Watson's
+* Documentation: help work on ristretto.group website.
 
 * Cleanup: unify intrinsics code
     * Generate asm intrinsics with a script?
@@ -14,12 +14,10 @@ Important work items for Ed448-Goldilocks / decaf:
 * Testing:
     * More testing.  Testing, testing and testing.
     * Test corner cases better.
+    * Try to formally verify some things.
 
 * Safety:
-    * Decide what to do about RNG failures
-        * abort
-        * return error and zeroize [ THIS ]
-        * return error but continue if RNG is kind of mostly OK
+    * If RNG fails, return error and zeroize
 
 * Portability: test and make clean with other compilers
     * Using a fair amount of __attribute__ code.
@@ -29,8 +27,4 @@ Important work items for Ed448-Goldilocks / decaf:
 * Portability: try to make the vector code as portable as possible
     * Currently using clang ext_vector_length.
     * I can't get a simple for-loop to autovectorize :-/
-    * SAGE tool?
-
-* More curves?  E-521 at least?  Ed41417?
-
-* Submit Decaf to SUPERCOP
+    * Autogenerate somehow?