1<?php 2/** 3 * Default settings for the Mizar proof checker 4 * 5 * @author Yamada, M. 6 */ 7 8 $conf['mizar_work_dir'] = '/var/www/html/mizar/work/'; 9 $conf['mizar_share_dir'] = '/usr/local/share/mizar/'; 10 $conf['mizar_exe_dir'] = '/usr/local/bin/';