Thu, 27 Feb 2014 17:56:59 +0100 | wenzelm | simplified rendering -- no need to over-emphasize "token_range"; | changeset | files |
Thu, 27 Feb 2014 17:39:20 +0100 | wenzelm | modernized theory setup; | changeset | files |
Thu, 27 Feb 2014 17:29:58 +0100 | wenzelm | store blobs / inlined files as separate text lines: smaller values are more healthy for the Poly/ML RTS and allow implicit sharing; | changeset | files |