La edición de documentos online por parte de varios usuarios es una funcionalidad cada vez más común en situaciones en que las personas involucradas están dispersas. Es muy popular el uso de Google Docs para este tipo de tareas. Sin embargo, para entornos de trabajo en los que se necesite gestionar documentación en diversos formatos ...