| Tue, 28 Sep 2010 09:14:37 +0200 | haftmann | consider quick_and_dirty option before loading theory | file | diff | annotate |
| Fri, 24 Sep 2010 14:03:44 +0200 | haftmann | dropped dead code | file | diff | annotate |
| 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 | file | diff | annotate |
| Thu, 23 Sep 2010 11:29:22 +0200 | haftmann | shifted abstraction over imperative print mode | file | diff | annotate |