<?php
/**
 * japanease language file for Mizar proof checker
 *
 * @author Yamada, M.
 */

$lang['mizar_work_dir']  = 'Mizarの作業ディレクトリ（サブディレクトリTEXT, DICT, PRELを含む）';
$lang['mizar_share_dir'] = 'Mizarの共有ファイルディレクトリ';
$lang['mizar_exe_dir']   = 'Mizarの実行ファイルディレクトリ';