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