| 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 |
| Tue, 11 Jan 2011 20:01:57 +0100 | wenzelm | updated to Isabelle2011; | changeset | files |
| Tue, 11 Jan 2011 19:55:34 +0100 | wenzelm | isabelle version -i; | changeset | files |