Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

S

Sally4
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Releases
- Model registry
- Environments
- Incidents

Snippets Groups Projects

f4cdd773

Commit f4cdd773 authored 10 years ago by Constantin Jucovschi

Downloads
- Patches
- Plain Diff

more progress

parent 84987bb7

No related branches found

No related tags found

No related merge requests found

Changes 8

Hide whitespace changes

Inline Side-by-side

Showing

MathHubWorker/src/main/java/info/kwarc/sally4/mathhubworker/LMHClient.java 7 additions, 0 deletions

.../main/java/info/kwarc/sally4/mathhubworker/LMHClient.java
MathHubWorker/src/main/java/info/kwarc/sally4/mathhubworker/PlanetaryClient.java 3 additions, 1 deletion

...java/info/kwarc/sally4/mathhubworker/PlanetaryClient.java
MathHubWorker/src/main/java/info/kwarc/sally4/mathhubworker/impl/LMHWorkflowInstance.java 9 additions, 1 deletion

.../kwarc/sally4/mathhubworker/impl/LMHWorkflowInstance.java
MathHubWorker/src/main/java/info/kwarc/sally4/mathhubworker/impl/MathHubEnvironment.java 28 additions, 10 deletions

...o/kwarc/sally4/mathhubworker/impl/MathHubEnvironment.java
MathHubWorker/src/main/java/info/kwarc/sally4/mathhubworker/impl/MathHubManagerModel.java 0 additions, 40 deletions

.../kwarc/sally4/mathhubworker/impl/MathHubManagerModel.java
MathHubWorker/src/main/java/info/kwarc/sally4/mathhubworker/impl/MathHubWorkerSelectorService.java 58 additions, 19 deletions

...lly4/mathhubworker/impl/MathHubWorkerSelectorService.java
MathHubWorker/src/main/java/info/kwarc/sally4/mathhubworker/impl/PlanetaryClientWorkflowInstance.java 5 additions, 0 deletions

...4/mathhubworker/impl/PlanetaryClientWorkflowInstance.java
MathHubWorker/src/main/resources/templates/mhwsettings.html 8 additions, 8 deletions

MathHubWorker/src/main/resources/templates/mhwsettings.html

with 118 additions and 79 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment