Wed, 19 May 2010 17:01:07 -0700 | huffman | move some example files into new HOLCF/Tutorial directory | changeset | files |
Wed, 19 May 2010 16:28:24 -0700 | huffman | remove redundant hdvd relation | changeset | files |
Wed, 19 May 2010 16:08:41 -0700 | huffman | remove unnecessary constant Fixrec.bind | changeset | files |
Wed, 19 May 2010 14:38:25 -0700 | huffman | add section about fixrec definitions with looping simp rules | changeset | files |
Wed, 19 May 2010 13:07:15 -0700 | huffman | more informative error message for fixrec when continuity proof fails | changeset | files |
Thu, 20 May 2010 16:22:50 +0200 | wenzelm | determine margin just before rendering -- proper reformatting when updating; | changeset | files |