Merge remote branch 'mizar/ja'
treef4b957a0fe5367594687b201549af357a9b547ef
-rwxr-xr-x 101 .gitignore
-rw-r--r-- 821 README
drwxr-xr-x - cs
drwxr-xr-x - de
drwxr-xr-x - en
drwxr-xr-x - es-es
drwxr-xr-x - es-mx
drwxr-xr-x - es-ni
drwxr-xr-x - figures-source
drwxr-xr-x - figures
drwxr-xr-x - fr
drwxr-xr-x - id
drwxr-xr-x - ja
drwxr-xr-x - latex
drwxr-xr-x - nl
drwxr-xr-x - pl
drwxr-xr-x - pt-br
drwxr-xr-x - ru
drwxr-xr-x - zh