| Thu, 03 Feb 2011 05:38:47 +0000 | urbanc | a bit more tuning on the introduction | file | diff | annotate |
| Mon, 31 Jan 2011 12:54:31 +0000 | urbanc | a bit more on the paper | file | diff | annotate |
| Sun, 30 Jan 2011 17:21:53 +0000 | urbanc | tuning of the syntax; needs the stmaryrd latex package | file | diff | annotate |
| Thu, 25 Nov 2010 18:54:45 +0000 | urbanc | added paper | file | diff | annotate |