Merge branch 'master' of git://factorcode.org/git/factor
[factor/jcg.git] / core / generic / standard / 
tree4c4212d7e8a85fa05491f06d73cb2006b627982d
drwxr-xr-x   ..
-rw-r--r-- 13 authors.txt
drwxr-xr-x - engines
-rw-r--r-- 2429 standard-docs.factor
-rw-r--r-- 7466 standard-tests.factor
-rw-r--r-- 4981 standard.factor
-rw-r--r-- 56 summary.txt