From 726bac31528cec6bb9d683046670233d84dad9a4 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 6 May 2010 08:36:36 +0000
Subject: [PATCH] NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1884 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/NOTES-PTAS | 10 ++++++----
 prism/NOTES-SIM  |  6 ++----
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/prism/NOTES-PTAS b/prism/NOTES-PTAS
index a9b2c9b7..23bbab5f 100644
--- a/prism/NOTES-PTAS
+++ b/prism/NOTES-PTAS
@@ -1,10 +1,8 @@
-Bugs
-----
-
-
 Todo
 ----
 
+* GUI
+
 * Clarify semantic/type checks (consistency with games/digital)
 
 * Clarify time divergence issues
@@ -17,6 +15,10 @@ Todo
 * BRP example
 
 
+Bugs
+----
+
+
 Maybe todo
 ----------
 
diff --git a/prism/NOTES-SIM b/prism/NOTES-SIM
index 56883e16..386ae25c 100644
--- a/prism/NOTES-SIM
+++ b/prism/NOTES-SIM
@@ -1,10 +1,8 @@
 
 NOW/NEXT:
 
-
-
-
-looping
+add path manip methods - autochoice, backtrack etc.
+but need to sort out loop detection first?
 
 
 TODO: