-
- Downloads
first commit
parents
No related branches found
No related tags found
Showing
- pom.xml 50 additions, 0 deletionspom.xml
- src/main/java/info/kwarc/sally4/mhw/compilers/CompilationResultObject.java 39 additions, 0 deletions...o/kwarc/sally4/mhw/compilers/CompilationResultObject.java
- src/main/java/info/kwarc/sally4/mhw/compilers/CompilationStatusUI.java 88 additions, 0 deletions.../info/kwarc/sally4/mhw/compilers/CompilationStatusUI.java
- src/main/java/info/kwarc/sally4/mhw/compilers/ILaTeXMLStompCompiler.java 17 additions, 0 deletions...nfo/kwarc/sally4/mhw/compilers/ILaTeXMLStompCompiler.java
- src/main/java/info/kwarc/sally4/mhw/compilers/factories/CompileServicesStaticContentProvider.java 34 additions, 0 deletions...ilers/factories/CompileServicesStaticContentProvider.java
- src/main/java/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLCompileCommand.java 7 additions, 0 deletions...c/sally4/mhw/compilers/latexml/LaTeXMLCompileCommand.java
- src/main/java/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool.java 168 additions, 0 deletions...warc/sally4/mhw/compilers/latexml/LaTeXMLProcessPool.java
- src/main/java/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLProcessPoolFactory.java 55 additions, 0 deletions...lly4/mhw/compilers/latexml/LaTeXMLProcessPoolFactory.java
- src/main/java/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStatus.java 48 additions, 0 deletions...nfo/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStatus.java
- src/main/java/info/kwarc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler.java 252 additions, 0 deletions...rc/sally4/mhw/compilers/latexml/LaTeXMLStompCompiler.java
- src/main/java/info/kwarc/sally4/mhw/workflows/STeXMMTWorkflow.java 210 additions, 0 deletions...java/info/kwarc/sally4/mhw/workflows/STeXMMTWorkflow.java
- src/main/java/info/kwarc/sally4/mhw/workflows/STeXMMTWorkflowFactory.java 72 additions, 0 deletions...fo/kwarc/sally4/mhw/workflows/STeXMMTWorkflowFactory.java
- src/main/resources/static/compileStatus.png 0 additions, 0 deletionssrc/main/resources/static/compileStatus.png
- src/main/resources/templates/compileEvents.html 68 additions, 0 deletionssrc/main/resources/templates/compileEvents.html
- src/test/java/info/kwarc/sally4/mathhubworker/impl/MathHubWorkerManagerImplTest.java 64 additions, 0 deletions...lly4/mathhubworker/impl/MathHubWorkerManagerImplTest.java
Loading
Please register or sign in to comment