Searched refs:handleCompilationErrors (Results 1 – 3 of 3) sorted by relevance
| /plugin/mizarproofchecker/ |
| D | action.php | 203 …if ($this->handleCompilationErrors($errFilename, rtrim($this->getConf('mizar_share_dir'), '/\\') .…
303 if ($this->handleCompilationErrors($errFilename, $sharePath . '/mizar.msg')) {
334 if ($this->handleCompilationErrors($errFilename, $sharePath . '/mizar.msg')) {
377 private function handleCompilationErrors($errFilename, $mizarMsgFilePath) function in action_plugin_mizarproofchecker
|
| /plugin/mizarveifiabledocs/ |
| D | action.php | 203 …if ($this->handleCompilationErrors($errFilename, rtrim($this->getConf('mizar_share_dir'), '/\\') .…
303 if ($this->handleCompilationErrors($errFilename, $sharePath . '/mizar.msg')) {
334 if ($this->handleCompilationErrors($errFilename, $sharePath . '/mizar.msg')) {
377 private function handleCompilationErrors($errFilename, $mizarMsgFilePath) function in action_plugin_mizarverifiabledocs
|
| /plugin/mizarverifiabledocs/ |
| H A D | action.php | 362 … $this->handleCompilationErrors($errFilename, $sharePath . DIRECTORY_SEPARATOR . 'mizar.msg');
384 …if ($this->handleCompilationErrors($errFilename, $sharePath . DIRECTORY_SEPARATOR . 'mizar.msg')) …
398 … $this->handleCompilationErrors($errFilename, $sharePath . DIRECTORY_SEPARATOR . 'mizar.msg');
416 private function handleCompilationErrors($errFilename, $mizarMsgFilePath) function in action_plugin_mizarverifiabledocs
|