update TODO list

rudymatela · Dec 12, 2017 · 0fec9d4 · 0fec9d4
1 parent f85eb1a
commit 0fec9d4
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/TODO.md b/TODO.md
@@ -4,12 +4,11 @@ TO DO list for FitSpec
 misc
 ----
 
-* (?) announce on mailing list (wait for Haddock to be ready)
-
 * parameterize number of tests in test programs and add slow-test target
 
 * add diff test for IO functions (diff w/ model output and exit status)
 
+* implement `toplibs` hack (from LeanCheck and Speculate);
 
 documentation
 -------------
@@ -19,9 +18,3 @@ documentation
 
 * write detailed install instructions on INSTALL.md
   (cabal install, cabal from sandbox, source include)
-
-
-v0.4.2
-------
-
-* implement `toplibs` hack (from LeanCheck and Speculate);