Hi Martin! I don't know it! But I'll try to solve it until tomorrow (0.3beta1). --Joachim Am Die, 27 Jun 2000 schrieben Sie: > Why does bibletime not terminate correctly? > > Martin