| Mon, 25 Jul 2011 10:40:52 +0200 | bulwahn | added legacy warning to old code generation evaluation | changeset | files |
| Mon, 25 Jul 2011 10:40:51 +0200 | bulwahn | added legacy warning to old code generation commands | changeset | files |
| Sat, 23 Jul 2011 23:33:59 +0200 | wenzelm | merged | changeset | files |
| Sat, 23 Jul 2011 20:05:28 +0200 | bulwahn | correcting last example in Predicate_Compile_Examples | changeset | files |
| Sat, 23 Jul 2011 22:22:21 +0200 | wenzelm | make double-sure that interrupts are flushed before executing new work (cf. 22f8c2483bd2); | changeset | files |
| Sat, 23 Jul 2011 21:29:56 +0200 | wenzelm | more detailed tracing; | changeset | files |