| Wed, 09 Feb 2011 06:09:46 +0000 | urbanc | added something about Setalt and folds | file | diff | annotate |
| Tue, 08 Feb 2011 19:54:23 +0000 | urbanc | a bit more on the paper | file | diff | annotate |
| Tue, 08 Feb 2011 18:04:54 +0000 | urbanc | added coments about functions | file | diff | annotate |
| Mon, 07 Feb 2011 20:30:10 +0000 | urbanc | parts of the 3 section | file | diff | annotate |
| Thu, 03 Feb 2011 09:54:19 +0000 | urbanc | more to the intro | file | diff | annotate |
| 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 |