before pom editing
Showing
- MathHubWorker/src/main/java/info/kwarc/sally4/mathhubworker/routes/MathHubRoute.java 29 additions, 0 deletions.../info/kwarc/sally4/mathhubworker/routes/MathHubRoute.java
- docmanager/pom.xml 14 additions, 1 deletiondocmanager/pom.xml
- docmanager/src/main/java/info/kwarc/sally4/docmanager/AlexRoute.java 0 additions, 3 deletions...src/main/java/info/kwarc/sally4/docmanager/AlexRoute.java
- docmanager/src/main/java/info/kwarc/sally4/docmanager/DocumentManager.java 1 addition, 1 deletion...in/java/info/kwarc/sally4/docmanager/DocumentManager.java
- docmanager/src/main/java/info/kwarc/sally4/docmanager/IDocWorkflow.java 11 additions, 0 deletions.../main/java/info/kwarc/sally4/docmanager/IDocWorkflow.java
- docmanager/src/main/java/info/kwarc/sally4/docmanager/TestMain.java 10 additions, 19 deletions.../src/main/java/info/kwarc/sally4/docmanager/TestMain.java
- docmanager/src/main/java/info/kwarc/sally4/docmanager/impl/AlexRouteImpl.java 41 additions, 0 deletions...java/info/kwarc/sally4/docmanager/impl/AlexRouteImpl.java
- docmanager/src/main/java/info/kwarc/sally4/docmanager/impl/AlexRouteMessageProcessor.java 34 additions, 0 deletions...arc/sally4/docmanager/impl/AlexRouteMessageProcessor.java
- docmanager/src/main/java/info/kwarc/sally4/docmanager/impl/DocumentManagerImpl.java 61 additions, 24 deletions...nfo/kwarc/sally4/docmanager/impl/DocumentManagerImpl.java
- docmanager/src/main/java/info/kwarc/sally4/docmanager/routes/SallyAlexRoute.java 14 additions, 6 deletions...a/info/kwarc/sally4/docmanager/routes/SallyAlexRoute.java
- docmanager/src/main/java/info/kwarc/sally4/docmanager/routes/SallyRegisterRoute.java 3 additions, 3 deletions...fo/kwarc/sally4/docmanager/routes/SallyRegisterRoute.java
- docmanager/src/test/java/info/kwarc/sally4/docmanager/routes/SallyAlexRouteTest.java 51 additions, 0 deletions...fo/kwarc/sally4/docmanager/routes/SallyAlexRouteTest.java
- planetary/pom.xml 3 additions, 3 deletionsplanetary/pom.xml
- planetary/src/main/java/info/kwarc/sally/comm/planetaryclient/GetServices.java 39 additions, 0 deletions...va/info/kwarc/sally/comm/planetaryclient/GetServices.java
- planetary/src/main/java/info/kwarc/sally/comm/planetaryclient/GetSessionIDRequest.java 41 additions, 0 deletions...kwarc/sally/comm/planetaryclient/GetSessionIDRequest.java
- planetary/src/main/java/info/kwarc/sally/comm/planetaryclient/GetSessionIDResponse.java 71 additions, 0 deletions...warc/sally/comm/planetaryclient/GetSessionIDResponse.java
- planetary/src/main/java/info/kwarc/sally/comm/planetaryclient/ObjectFactory.java 63 additions, 0 deletions.../info/kwarc/sally/comm/planetaryclient/ObjectFactory.java
- planetary/src/main/java/info/kwarc/sally/comm/planetaryclient/package-info.java 9 additions, 0 deletions...a/info/kwarc/sally/comm/planetaryclient/package-info.java
- planetary/src/main/java/info/kwarc/sally4/planetary/impl/PlanetaryConnectionImpl.java 2 additions, 5 deletions.../kwarc/sally4/planetary/impl/PlanetaryConnectionImpl.java
- planetary/src/main/resources/planetaryclient.xsd 27 additions, 0 deletionsplanetary/src/main/resources/planetaryclient.xsd
Loading
Please register or sign in to comment