| Mon, 10 May 2010 21:27:52 -0700 | huffman | move lemma real_mult_is_one to Rings.thy, renamed to square_eq_1_iff | changeset | files |
| Wed, 12 May 2010 12:50:00 +0200 | wenzelm | clarified Pretty.font_metrics; | changeset | files |
| Wed, 12 May 2010 11:31:05 +0200 | wenzelm | format as topmost list of "divs", not just adjacent "spans" -- for proper line breaking; | changeset | files |
| Wed, 12 May 2010 11:28:52 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 11 May 2010 23:36:06 +0200 | wenzelm | more precise pretty printing based on actual font metrics; | changeset | files |
| Tue, 11 May 2010 23:09:49 +0200 | wenzelm | predefined spaces; | changeset | files |
| Tue, 11 May 2010 17:55:19 +0200 | wenzelm | merged | changeset | files |