| 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 |
| Thu, 27 Feb 2014 17:24:46 +0100 | wenzelm | more symbols; | changeset | files |
| Thu, 27 Feb 2014 17:24:16 +0100 | wenzelm | more symbol abbrevs to support HOL library maintenance; | changeset | files |
| Thu, 27 Feb 2014 14:51:14 +0100 | wenzelm | reparse only for actually changed blobs; | changeset | files |
| Thu, 27 Feb 2014 14:15:23 +0100 | wenzelm | proper document blobs for initial edit, which is relevant for loading auxiliary file buffers; | changeset | files |