1*6b7e227cSYamadaMiz<?php 2*6b7e227cSYamadaMiz/** 3*6b7e227cSYamadaMiz * Options for the Mizar proof checker 4*6b7e227cSYamadaMiz * 5*6b7e227cSYamadaMiz * @author Yamada, M. 6*6b7e227cSYamadaMiz */ 7*6b7e227cSYamadaMiz 8*6b7e227cSYamadaMiz $meta['mizar_work_dir'] = array('string'); 9*6b7e227cSYamadaMiz $meta['mizar_share_dir'] = array('string'); 10*6b7e227cSYamadaMiz $meta['mizar_exe_dir'] = array('string');