ceriel 01829a4203 Fixes: random did not work properly, and RealToString did not deal with ...

numbers not fitting in the format given properly

1990-01-31 11:01:53 +00:00

..

a68s

Adapted to our installation

1989-02-08 09:38:15 +00:00

basic

…

cem

ignore qualifiers when looking for sdef

1990-01-30 11:19:30 +00:00

m2

Fixes: random did not work properly, and RealToString did not deal with

1990-01-31 11:01:53 +00:00

occam

…

pc

…

.distr

…