From c8df98705fa78cca2316e35c0068653689935016 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 18 Nov 2009 21:04:10 +0000
Subject: [PATCH] NOTES-PTAS.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1569 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 585f096b..26ab9d75 100644
--- a/prism/NOTES-PTAS
+++ b/prism/NOTES-PTAS
@@ -1,5 +1,7 @@
 
 More Type checking, semantic checks ???
+Make sure checks match Digital clocks, Stochastic games
+Time divergence?
 
 Creation of new names (adding extra _s) doesn't take into account prop file ot consts etc.