Updated TODO and NEWS files.

Ian D · Ian D · commit 5911e82a66fb · 2014-03-06T18:38:30.000-05:00
diff --git a/NEWS b/NEWS
@@ -23,7 +23,11 @@ This NEWS file records important changes.
 
   * Updated to GTK+ 3.
 
-  * Fixed up processing bugs.
+  * Fixed up several processing bugs.
+
+  * Fixed up compilation bugs.
+
+  * Added example proofs.
 
 2.1.1
 
diff --git a/TODO b/TODO
@@ -1,7 +1,5 @@
 GNU Aris -- TODO List
 
-* Before Next Release:
-  - Update documentation to include ability to use comments.
 * Interoperability with Isabelle - in progress.
 * Documentation
   - Sequence Logic
