xref: /plugin/mizarverifiabledocs/lang/en/settings.php (revision 6b7e227ce526b3ffe234cde59c47249d4e050425) 
1*6b7e227cSYamadaMiz<?php
2*6b7e227cSYamadaMiz/**
3*6b7e227cSYamadaMiz * english language file for Mizar proof checker
4*6b7e227cSYamadaMiz *
5*6b7e227cSYamadaMiz * @author Yamada, M.
6*6b7e227cSYamadaMiz */
7*6b7e227cSYamadaMiz
8*6b7e227cSYamadaMiz $lang['mizar_work_dir'] = 'Mizar work directory (includes subdirectories like TEXT, DICT, and PREL)';
9*6b7e227cSYamadaMiz $lang['mizar_share_dir'] = 'Mizar shared files directory';
10*6b7e227cSYamadaMiz $lang['mizar_exe_dir'] = 'Mizar executables directory';