4.0.0 bundle text-base info.kwarc.sally4 sally4 0.0.4 .. info.kwarc.sally4.textbase.impl info.kwarc.sally4.textbase* info.kwarc.sally4 sally4-docmanager ${project.version} info.kwarc.sally4.comm comm-text ${project.version}