<?php
/**
 * Default settings for the Mizar Verifiable Docs Plugin
 *
 * @author Yamada, M. <yamadam@mizar.work>
 */

 $conf['mizar_work_dir'] = '/var/www/html/mizarwork/';
 $conf['mizar_share_dir'] = '/usr/local/share/mizar/';
 $conf['mizar_exe_dir'] = '/usr/local/bin/';