doit_mono_agenda =========================================== .. currentmodule:: pyarts.workspace .. autoproperty:: Workspace.doit_mono_agenda