SallyCore is more stable.

...anager/src/main/java/info/kwarc/sally4/docmanager/TT.java

...java/info/kwarc/sally4/docmanager/impl/AlexRouteImpl.java

...nfo/kwarc/sally4/docmanager/impl/DocumentManagerImpl.java

...java/info/kwarc/sally4/docmanager/impl/DummyWorkflow.java

...a/info/kwarc/sally4/docmanager/routes/SallyAlexRoute.java

...fo/kwarc/sally4/docmanager/routes/SallyRegisterRoute.java

...fo/kwarc/sally4/docmanager/routes/SallyAlexRouteTest.java

planetary/.classpath

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

planetary/pom.xml

...y/src/main/java/info/kwarc/sally4/planetary/TestMain.java

.../kwarc/sally4/planetary/impl/PlanetaryConnectionImpl.java

pom.xml

servlet/.classpath

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

start.sh