new version

.classpath

.project

.settings/org.eclipse.core.resources.prefs

.settings/org.eclipse.jdt.core.prefs

.settings/org.eclipse.m2e.core.prefs

build.xml

comm-core.bnd

comm-core.jar

java/info/kwarc/sally/comm/core/Heartbeatrequest.java

java/info/kwarc/sally/comm/core/Heartbeatresponse.java

java/info/kwarc/sally/comm/core/ObjectFactory.java

java/info/kwarc/sally/comm/core/Registerdocument.java

.../info/kwarc/sally/comm/core/Registerdocumentresponse.java

java/info/kwarc/sally/comm/core/package-info.java

java/info/kwarc/sally/comm/theo/ObjectFactory.java

java/info/kwarc/sally/comm/theo/Opentheowindow.java

java/info/kwarc/sally/comm/theo/package-info.java

js/info_kwarc_sally_comm_core.js

js/info_kwarc_sally_comm_frames.js

js/info_kwarc_sally_comm_theo.js