| Sat, 18 Jan 2014 20:51:48 +0100 | wenzelm | sorted entries according to components_checksum; | changeset | files |
| Sat, 18 Jan 2014 20:49:15 +0100 | wenzelm | more unicode tokens; | changeset | files |
| Sat, 18 Jan 2014 20:20:56 +0100 | wenzelm | prefer Isar commands over old-fashioned ML (see also a189c6274c7a); | changeset | files |
| Sat, 18 Jan 2014 19:46:58 +0100 | wenzelm | crude latex macro for \<newline; | changeset | files |
| Sat, 18 Jan 2014 19:35:42 +0100 | wenzelm | proper \<newline>; | changeset | files |
| Sat, 18 Jan 2014 19:31:32 +0100 | wenzelm | unused; | changeset | files |
| Sat, 18 Jan 2014 19:24:45 +0100 | wenzelm | tuned; | changeset | files |