version 0.0.6
Showing
- .classpath 0 additions, 32 deletions.classpath
- .gitignore 4 additions, 0 deletions.gitignore
- .settings/org.eclipse.core.resources.prefs 0 additions, 3 deletions.settings/org.eclipse.core.resources.prefs
- .settings/org.eclipse.jdt.core.prefs 0 additions, 5 deletions.settings/org.eclipse.jdt.core.prefs
- .settings/org.eclipse.m2e.core.prefs 0 additions, 4 deletions.settings/org.eclipse.m2e.core.prefs
- js/info_kwarc_sally_comm_core.js 69 additions, 56 deletionsjs/info_kwarc_sally_comm_core.js
- js/info_kwarc_sally_comm_frames.js 91 additions, 78 deletionsjs/info_kwarc_sally_comm_frames.js
- js/info_kwarc_sally_comm_theo.js 81 additions, 68 deletionsjs/info_kwarc_sally_comm_theo.js
- pom.xml 1 addition, 1 deletionpom.xml
.classpath
deleted
100644 → 0
.settings/org.eclipse.jdt.core.prefs
deleted
100644 → 0
.settings/org.eclipse.m2e.core.prefs
deleted
100644 → 0
Please register or sign in to comment