Merge remote branch 'mizar/latex'
tree3fe15abe08e017f75d461a1e4c2da0996d96e9b9
-rw-r--r-- 17 .gitattributes
-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-dia
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