2 Jul
2005
2 Jul
'05
7: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