<?php
/**
 * Options for the Mizar proof checker
 *
 * @author Yamada, M.
 */

 $meta['mizar_work_dir'] = array('string');
 $meta['mizar_share_dir'] = array('string');
 $meta['mizar_exe_dir'] = array('string');