Tue, 09 Sep 2008 23:30:00 +0200 | wenzelm | simplified dequeue: provide Thread.self internally; | changeset | files |
Tue, 09 Sep 2008 20:22:40 +0200 | wenzelm | eliminated cache, access queue efficiently via IntGraph.get_first; | changeset | files |
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 |