From 2747d6ce5a95d9b768d5be1dd94a7c6e79c78d6f Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 19 Feb 2010 22:50:37 +0000
Subject: [PATCH] NOTES.

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

diff --git a/prism/NOTES b/prism/NOTES
index 471719c4..b040b3d5 100644
--- a/prism/NOTES
+++ b/prism/NOTES
@@ -60,6 +60,8 @@ TODO:
 - make action storage optional (when required e.g. for export) (especially for MCs)
 - lp stuff - plugin support for eclipse/lpsolve (in prism-multi?)
 - also look up lrs?
+- finalise tra format with actions (needs to work with actions too)
+  - so also fix e.g. importtrans, prism-statra
 
 -----------------------------------------------------------------------