| 2012-02-10 | urbanc | more on paper | file | diff | annotate |
| 2012-02-09 | urbanc | attempt to fix problem by Xingyuan | file | diff | annotate |
| 2012-02-09 | urbanc | changes by Xingyuan | file | diff | annotate |
| 2012-02-09 | urbanc | more on the specification section | file | diff | annotate |
| 2012-01-27 | zhang | Newer version. | file | diff | annotate |
| 2012-01-24 | urbanc | initial version of the PIP formalisation | file | diff | annotate |