Home
last modified time | relevance | path

Searched defs:mizarData (Results 1 – 3 of 3) sorted by relevance

/plugin/mizarproofchecker/
Daction.php176 private function saveMizarContent($mizarData)
/plugin/mizarveifiabledocs/
Daction.php176 private function saveMizarContent($mizarData)
/plugin/mizarverifiabledocs/
H A Daction.php285 private function saveMizarContent($mizarData)