Fri, 29 Oct 2010 11:35:28 +0200 | haftmann | actually pass "verbose" argument | changeset | files |
Fri, 29 Oct 2010 16:16:10 +0200 | wenzelm | eliminated obsolete \_ escape; | changeset | files |
Fri, 29 Oct 2010 11:49:56 +0200 | wenzelm | eliminated obsolete \_ escapes in rail environments; | changeset | files |
Fri, 29 Oct 2010 11:35:47 +0200 | wenzelm | proper markup of formal text; | changeset | files |
Fri, 29 Oct 2010 11:07:21 +0200 | wenzelm | merged | changeset | files |
Fri, 29 Oct 2010 11:04:41 +0200 | krauss | hide_const various constants, in particular to avoid ugly qualifiers in HOLCF | changeset | files |