| Wed, 18 Apr 2012 20:22:44 +0200 | wenzelm | more robust Sendback handling: JVM/jEdit paranoia for case matching, treat Pretty body not just XML.Text, replace proper_range only (without trailing whitespace); | changeset | files |
| Wed, 18 Apr 2012 18:31:48 +0200 | wenzelm | approximative file position for Pure entities; | changeset | files |
| Wed, 18 Apr 2012 17:32:34 +0200 | wenzelm | render last ML_TYPING only -- relevant for inline antiquotations like @{term}; | changeset | files |