From 145acf1c460b17a4b959af86f085faa07cc4e115 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 3 Feb 2011 13:47:34 +0000
Subject: [PATCH] NOTES.

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

diff --git a/prism/NOTES b/prism/NOTES
index 2c8d32d4..90e0ce2e 100644
--- a/prism/NOTES
+++ b/prism/NOTES
@@ -60,6 +60,7 @@ Documentation:
 * New -exporttarget switch
 * Extra reach info switches?
 * Some pointers for where to start with PTAs, e.g. where examples are
+* SimulatorEngine JavaDoc
 
 Filters, property semantics, etc.
 * Integer-valued props displayed as doubles when printed as vector