From 4116b7cff9c357ef117f2697031c492144efa272 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 19 Jan 2010 11:59:46 +0000
Subject: [PATCH] NOTES.

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

diff --git a/prism/NOTES-PTAS b/prism/NOTES-PTAS
index 6b533e60..face1199 100644
--- a/prism/NOTES-PTAS
+++ b/prism/NOTES-PTAS
@@ -33,7 +33,7 @@ Stochastic games
 Optimise number of states in time-bounded PTAs (extras added in old target states) using until in forwards reach?
 
 
-
+* Email Holger/Arndt some models
 
 
 Documentation