?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge branch 'master' of git://factorcode.org/git/factor
[factor/jcg.git] / basis / random / summary.txt
blob6981c56062f26883fee26949f3beef3a8dcf19f8
1 Random number generator protocol and implementations
Factor with local modifications