From 7381c5bd3c85155b0f98a53de823b5384e2c3bdc Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 15 Oct 2010 17:34:31 +0000
Subject: [PATCH] NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2157 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/NOTES-PTAS | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/prism/NOTES-PTAS b/prism/NOTES-PTAS
index 6b0d94f6..4a583bcd 100644
--- a/prism/NOTES-PTAS
+++ b/prism/NOTES-PTAS
@@ -4,6 +4,8 @@ TODO (before any release)
 
 * GUI
 
+* Tidy prism-examples/pta, incl. delete brp
+
 * Clarify semantic/type checks (consistency with games/digital)
 
 * Check guards/invariants for convexity (for now, neither can be non-convex, see below)