| Tue, 09 Sep 2008 20:22:30 +0200 | wenzelm | export get_first from underlying table; | changeset | files |
| Tue, 09 Sep 2008 19:57:54 +0200 | wenzelm | out_stream: block-buffered, with separate autoflush thread (every 50ms); | changeset | files |
| Tue, 09 Sep 2008 19:36:21 +0200 | wenzelm | babel: removed unnecessary "french" option, which actually enables french section names etc. on some LaTeX installations; | changeset | files |
| Tue, 09 Sep 2008 19:33:22 +0200 | nipkow | added comment | changeset | files |
| Tue, 09 Sep 2008 16:59:48 +0200 | wenzelm | human-readable printing of TaskQueue.task/group; | changeset | files |
| Tue, 09 Sep 2008 16:35:57 +0200 | wenzelm | * Changed defaults for unify configuration options; | changeset | files |