| Mon, 11 Jan 2010 22:01:39 +0100 | wenzelm | more timing; | changeset | files |
| Mon, 11 Jan 2010 20:51:58 +0100 | wenzelm | more tobust treatment of Document.current_state; | changeset | files |
| Mon, 11 Jan 2010 18:28:31 +0100 | wenzelm | new unparsed span for text right after existing command; | changeset | files |
| Mon, 11 Jan 2010 18:26:38 +0100 | wenzelm | Outer_Lex.is_ignored; | changeset | files |