Select Git revision
InteractionEngine
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| .settings | ||
| src/main/java/info/kwarc/sally4/client | ||
| .classpath | ||
| .gitignore | ||
| .project | ||
| pom.xml | ||
| Name | Last commit | Last update |
|---|---|---|
| .. | ||
| .settings | ||
| src/main/java/info/kwarc/sally4/client | ||
| .classpath | ||
| .gitignore | ||
| .project | ||
| pom.xml | ||