Use windows-1252 encoding for stdin/stdout on Windows
[factor/jcg.git] / core / math / 
tree303282acc04a8a528ae3869d21e4425b01e871d9
drwxr-xr-x   ..
-rw-r--r-- 13 authors.txt
drwxr-xr-x - floats
drwxr-xr-x - integers
-rw-r--r-- 17827 math-docs.factor
-rw-r--r-- 540 math-tests.factor
-rwxr-xr-x 3913 math.factor
drwxr-xr-x - order
drwxr-xr-x - parser
-rw-r--r-- 11 summary.txt