-
- Downloads
update
Showing
- OfficeBase/pom.xml 1 addition, 1 deletionOfficeBase/pom.xml
- OfficeBase/src/main/java/info/kwarc/sally4/officebase/factories/OfficeBaseFactory.java 76 additions, 15 deletions.../kwarc/sally4/officebase/factories/OfficeBaseFactory.java
- OfficeBase/src/main/java/info/kwarc/sally4/officebase/impl/OfficeBaseInstance.java 61 additions, 10 deletions...info/kwarc/sally4/officebase/impl/OfficeBaseInstance.java
- core/pom.xml 1 addition, 1 deletioncore/pom.xml
- docmanager/src/main/java/info/kwarc/sally4/docmanager/SallyDoc.java 1 addition, 1 deletion.../src/main/java/info/kwarc/sally4/docmanager/SallyDoc.java
- docmanager/src/main/java/info/kwarc/sally4/docmanager/impl/EnvironmentMatcherFactory.java 49 additions, 0 deletions...arc/sally4/docmanager/impl/EnvironmentMatcherFactory.java
- docmanager/src/main/java/info/kwarc/sally4/docmanager/impl/ResourceRequirements.java 25 additions, 0 deletions...fo/kwarc/sally4/docmanager/impl/ResourceRequirements.java
- docmanager/src/main/java/info/kwarc/sally4/docmanager/impl/SallyDocImpl.java 12 additions, 7 deletions.../java/info/kwarc/sally4/docmanager/impl/SallyDocImpl.java
- theo/app.coffee 2 additions, 1 deletiontheo/app.coffee
- theo/app.js 3 additions, 1 deletiontheo/app.js
- theo/sally_client.coffee 1 addition, 0 deletionstheo/sally_client.coffee
- theo/sally_client.js 1 addition, 0 deletionstheo/sally_client.js
- utils/src/main/java/info/kwarc/sally4/processors/EnrichMessageProperties.java 1 addition, 2 deletions...info/kwarc/sally4/processors/EnrichMessageProperties.java
- utils/src/main/java/info/kwarc/sally4/processors/TypedCallback.java 1 addition, 1 deletion...main/java/info/kwarc/sally4/processors/TypedCallback.java
- utils/src/main/java/info/kwarc/sally4/processors/XMLMessageWithTypeInfo.java 8 additions, 0 deletions.../info/kwarc/sally4/processors/XMLMessageWithTypeInfo.java
Please register or sign in to comment