16b7e227cSYamadaMiz<?php 26b7e227cSYamadaMiz/** 36b7e227cSYamadaMiz * Default settings for the Mizar proof checker 46b7e227cSYamadaMiz * 56b7e227cSYamadaMiz * @author Yamada, M. 66b7e227cSYamadaMiz */ 76b7e227cSYamadaMiz 8*47595f9cSYamadaMiz $conf['mizar_work_dir'] = '/var/www/html/mizarwork/'; 96b7e227cSYamadaMiz $conf['mizar_share_dir'] = '/usr/local/share/mizar/'; 106b7e227cSYamadaMiz $conf['mizar_exe_dir'] = '/usr/local/bin/';