| Tue, 06 May 2014 23:08:18 +0200 | wenzelm | clarified print_state, which goes back to TTY loop before Proof General, and before separate print_context; | changeset | files |
| Tue, 06 May 2014 22:55:44 +0200 | wenzelm | tuned GUI layout; | changeset | files |
| Tue, 06 May 2014 22:47:55 +0200 | wenzelm | clarified GUI events, e.g. relevant for insert via completion; | changeset | files |
| Tue, 06 May 2014 22:01:43 +0200 | wenzelm | more robust line_range, according to usual jEdit confusion at end of last line (see also 71c5d1f516c0); | changeset | files |