-
- Downloads
adding appjs theo
Showing
- core/src/main/java/info/kwarc/sally/comm/select/Onsallyframe.java 2 additions, 2 deletions.../main/java/info/kwarc/sally/comm/select/Onsallyframe.java
- core/src/main/java/info/kwarc/sally/comm/select/package-info.java 9 additions, 0 deletions.../main/java/info/kwarc/sally/comm/select/package-info.java
- core/src/main/resources/core.xsd 0 additions, 9 deletionscore/src/main/resources/core.xsd
- core/src/main/resources/select.xsd 10 additions, 1 deletioncore/src/main/resources/select.xsd
- docmanager/src/main/java/info/kwarc/sally4/docmanager/impl/SallyDocImpl.java 0 additions, 1 deletion.../java/info/kwarc/sally4/docmanager/impl/SallyDocImpl.java
- pom.xml 1 addition, 0 deletionspom.xml
- theo/.gitignore 2 additions, 0 deletionstheo/.gitignore
- theo/app.coffee 45 additions, 0 deletionstheo/app.coffee
- theo/app.js 54 additions, 0 deletionstheo/app.js
- theo/content/index.html 10 additions, 0 deletionstheo/content/index.html
- theo/npm.sh 2 additions, 0 deletionstheo/npm.sh
- theo/sally_client.coffee 90 additions, 0 deletionstheo/sally_client.coffee
- theo/sally_client.js 142 additions, 0 deletionstheo/sally_client.js
- theo/start.sh 2 additions, 0 deletionstheo/start.sh
- utils/src/main/java/info/kwarc/sally4/processors/EnrichMessageProperties.java 15 additions, 3 deletions...info/kwarc/sally4/processors/EnrichMessageProperties.java
Loading
Please register or sign in to comment