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