| Thu, 23 Sep 2010 16:28:12 +0200 | haftmann | more idiomatic handling of latex typewriter type setting | changeset | files |
| Thu, 23 Sep 2010 15:46:17 +0200 | haftmann | more canonical type setting of type writer code examples | changeset | files |
| Thu, 23 Sep 2010 13:28:53 +0200 | haftmann | resynchronize isabelle.sty | changeset | files |
| Thu, 23 Sep 2010 13:25:01 +0200 | haftmann | reverted cs 5aced2f43837 -- no need for hardwired latex command here | changeset | files |
| Thu, 23 Sep 2010 13:23:22 +0200 | haftmann | reverted cs 07549694e2f1 -- use re-printing with current print mode instead after code assembly, avoid Latex.output_typewriter | changeset | files |
| Thu, 23 Sep 2010 13:23:21 +0200 | haftmann | reverted cs 07549694e2f1 | changeset | files |
| Thu, 23 Sep 2010 11:29:22 +0200 | haftmann | shifted abstraction over imperative print mode | changeset | files |