| Wed, 12 Jan 2011 15:07:29 +0100 | wenzelm | avoid catch-all exception handler, presumably TERM was meant here; | changeset | files |
| Wed, 12 Jan 2011 14:34:11 +0100 | wenzelm | disabled experimental treatment of replacement text for now, which leads to odd spacing and strange effects on non-poppler viewers; | changeset | files |
| Wed, 12 Jan 2011 14:13:04 +0100 | wenzelm | observe line length limit; | changeset | files |
| Wed, 12 Jan 2011 14:07:29 +0100 | wenzelm | smart_string_of_real: print integer values without fractional part; | changeset | files |
| Tue, 11 Jan 2011 21:52:10 +0100 | wenzelm | tuned (cf. 2fe62d602681); | changeset | files |
| Tue, 11 Jan 2011 20:18:48 +0100 | wenzelm | added dist/jedit symlink for convenience; | changeset | files |
| Tue, 11 Jan 2011 20:10:34 +0100 | wenzelm | record versions of both jEdit and Isabelle; | changeset | files |