| Mon, 11 Jan 2010 22:31:27 +0100 | wenzelm | merged with converted/relocated copy of http://isabelle.in.tum.de/repos/isabelle-jedit/rev/93d884afa74b | changeset | files |
| 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 |
| Mon, 11 Jan 2010 18:26:13 +0100 | wenzelm | simplified Text_Edit; | changeset | files |
| Mon, 11 Jan 2010 16:49:11 +0100 | wenzelm | eliminated strange mutable var commands; | changeset | files |