![](https://secure.gravatar.com/avatar/565476157eb3895a9c928ffce26d988d.jpg?s=120&d=mm&r=g)
2 Jul
2005
2 Jul
'05
9:25 p.m.
Martin Schröder wrote:
On 2005-06-27 16:53:12 +0200, Taco Hoekwater wrote:
Very nice. I've added a call of init_randoms(random_seed) to "Implement \.{\\ptexsetrandomseed}"; this allows one to restart the random generator.
Cool. That was the intention all along, of course. Taco