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