NOTES.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2481 bbc10eb1-c90d-0410-af57-cb519fbb1720
15 years ago · d8b86a689f
1 changed files with 1 additions and 7 deletions
--- a/prism/NOTES
+++ b/prism/NOTES
@ -8,13 +8,6 @@ Remove for beta distributions:
 TODO (before public release of 4.0)
 =======================================================

-PRIORITY (first beta, w/ CAV paper)
--------
-
-* JAVADOC
-  - links on front page?
-
-
 PRIORITY (next betas)
 --------

@ -61,6 +54,7 @@ Documentation:
 * Extra reach info switches?
 * Some pointers for where to start with PTAs, e.g. where examples are
 * SimulatorEngine JavaDoc
+* Update other-downloads.php

 Filters, property semantics, etc.
 * Integer-valued props displayed as doubles when printed as vector