xref: /plugin/mizarverifiabledocs/lang/ja/settings.php (revision 6b7e227ce526b3ffe234cde59c47249d4e050425) 
1*6b7e227cSYamadaMiz<?php
2*6b7e227cSYamadaMiz/**
3*6b7e227cSYamadaMiz * japanease language file for Mizar proof checker
4*6b7e227cSYamadaMiz *
5*6b7e227cSYamadaMiz * @author Yamada, M.
6*6b7e227cSYamadaMiz */
7*6b7e227cSYamadaMiz
8*6b7e227cSYamadaMiz$lang['mizar_work_dir']  = 'Mizarの作業ディレクトリ（サブディレクトリTEXT, DICT, PRELを含む）';
9*6b7e227cSYamadaMiz$lang['mizar_share_dir'] = 'Mizarの共有ファイルディレクトリ';
10*6b7e227cSYamadaMiz$lang['mizar_exe_dir']   = 'Mizarの実行ファイルディレクトリ';