| Wed, 19 May 2010 14:38:25 -0700 | huffman | add section about fixrec definitions with looping simp rules | changeset | files |
| Wed, 19 May 2010 13:07:15 -0700 | huffman | more informative error message for fixrec when continuity proof fails | changeset | files |
| Thu, 20 May 2010 16:22:50 +0200 | wenzelm | determine margin just before rendering -- proper reformatting when updating; | changeset | files |
| Thu, 20 May 2010 15:51:28 +0200 | wenzelm | simplified alignment via FlowPanel; | changeset | files |
| Thu, 20 May 2010 13:54:31 +0200 | wenzelm | more systematic treatment of physical document wrt. font size etc.; | changeset | files |
| Thu, 20 May 2010 11:44:41 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 20 May 2010 11:36:30 +0200 | wenzelm | general Isabelle_System.try_read; | changeset | files |