Merge branch 'master' of git://factorcode.org/git/factor
[factor/jcg.git] / basis / random / 
tree7de6f1621bc2ceb62bb1e5a997af765f993a1698
drwxr-xr-x   ..
-rw-r--r-- 26 authors.txt
drwxr-xr-x - dummy
drwxr-xr-x - mersenne-twister
-rwxr-xr-x 3597 random-docs.factor
-rw-r--r-- 689 random-tests.factor
-rwxr-xr-x 2052 random.factor
-rw-r--r-- 53 summary.txt
drwxr-xr-x - unix
drwxr-xr-x - windows