| Tue, 21 Jul 2009 10:24:57 +0200 | wenzelm | prefer simultaneous join -- for improved scheduling; | changeset | files |
| Tue, 21 Jul 2009 10:23:16 +0200 | wenzelm | tuned dequeu_towards: try immediate tasks before expensive all_preds; | changeset | files |
| Tue, 21 Jul 2009 01:05:10 +0200 | wenzelm | Display.pretty_thm now requires a proper context; | changeset | files |
| Tue, 21 Jul 2009 01:03:18 +0200 | wenzelm | proper context for Display.pretty_thm etc. or old-style versions Display.pretty_thm_global, Display.pretty_thm_without_context etc.; | changeset | files |