-
- Downloads
initial commit
parents
No related branches found
No related tags found
Showing
- .classpath 27 additions, 0 deletions.classpath
- .gitignore 6 additions, 0 deletions.gitignore
- .project 23 additions, 0 deletions.project
- .settings/org.eclipse.jdt.core.prefs 5 additions, 0 deletions.settings/org.eclipse.jdt.core.prefs
- .settings/org.eclipse.m2e.core.prefs 4 additions, 0 deletions.settings/org.eclipse.m2e.core.prefs
- pom.xml 129 additions, 0 deletionspom.xml
- src/main/java/info/kwarc/sally4/client/SallyClient.java 8 additions, 0 deletionssrc/main/java/info/kwarc/sally4/client/SallyClient.java
- src/main/java/info/kwarc/sally4/client/impl/SallyClientImpl.java 99 additions, 0 deletions...n/java/info/kwarc/sally4/client/impl/SallyClientImpl.java
.classpath
0 → 100644
.gitignore
0 → 100644
.project
0 → 100644
.settings/org.eclipse.jdt.core.prefs
0 → 100644
.settings/org.eclipse.m2e.core.prefs
0 → 100644
pom.xml
0 → 100644
Please register or sign in to comment