From 705088320fa07579172fbe66a57280cdd5bf51dc Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 3 Dec 2010 11:20:05 +0000
Subject: [PATCH] NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2320 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/NOTES | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/prism/NOTES b/prism/NOTES
index 2dbae30d..b2a18fe9 100644
--- a/prism/NOTES
+++ b/prism/NOTES
@@ -7,9 +7,6 @@ Remove for beta distributions:
 TODO (before any release)
 -------------------------
 
-PTAs:
-* (Further) tidy of prism-examples/pta
-
 DOC!
 
 timelock reported as deadlock for digital
@@ -40,8 +37,10 @@ Sim:
 * seed issues (Vlad)
 
 PTAs:
+* More tidying of PTA examples
+  - README files for other (non-firewire) examples
+  - comments in pctl files, missing ones into autos
 * Clarify rewards support (digital clocks)
-* Less verbose A-R output?
 * More of PCTL - even just G, bounded (not =?), etc.
 * Enforce well-formedness checks (i.e. guards/resets imply target invariants)
   (as opposed to say supporting strong invariants,