Hi, Is it possible to modify the randomseed for the mplibcode environment in the user side? Thanks in advance.
Regards, -- Maxime Chupin Site personnel : http://fougeriens.org/~mc/ Site professionnel : https://www.ceremade.dauphine.fr/~chupin/ <http://www.ceremade.dauphine.fr/~chupin/> adresse libre : [email protected]
