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 116 additions, 0 deletionspom.xml
- src/main/java/info/kwarc/sally4/servlet/SallyServlet.java 5 additions, 0 deletionssrc/main/java/info/kwarc/sally4/servlet/SallyServlet.java
- src/main/java/info/kwarc/sally4/servlet/impl/ServletImpl.java 47 additions, 0 deletions...main/java/info/kwarc/sally4/servlet/impl/ServletImpl.java
- src/main/java/info/kwarc/sally4/servlet/utils/QueryParser.java 28 additions, 0 deletions...ain/java/info/kwarc/sally4/servlet/utils/QueryParser.java
- src/main/resources/app/index.html 2 additions, 0 deletionssrc/main/resources/app/index.html
- src/main/resources/app/jobad/JOBAD.css 486 additions, 0 deletionssrc/main/resources/app/jobad/JOBAD.css
- src/main/resources/app/jobad/JOBAD.js 0 additions, 0 deletionssrc/main/resources/app/jobad/JOBAD.js
- src/main/resources/app/jobad/JOBAD.min.css 92 additions, 0 deletionssrc/main/resources/app/jobad/JOBAD.min.css
- src/main/resources/app/jobad/JOBAD.min.js 0 additions, 0 deletionssrc/main/resources/app/jobad/JOBAD.min.js
- src/main/resources/app/jobad/libs/css/bootstrap/css/bootstrap.less.css 0 additions, 0 deletions...urces/app/jobad/libs/css/bootstrap/css/bootstrap.less.css
- src/main/resources/app/jobad/libs/css/bootstrap/img/glyphicons-halflings-white.png 0 additions, 0 deletions...bad/libs/css/bootstrap/img/glyphicons-halflings-white.png
- src/main/resources/app/jobad/libs/css/bootstrap/img/glyphicons-halflings.png 0 additions, 0 deletions...app/jobad/libs/css/bootstrap/img/glyphicons-halflings.png
- src/main/resources/app/jobad/libs/css/libs.css 0 additions, 0 deletionssrc/main/resources/app/jobad/libs/css/libs.css
- src/main/resources/app/jobad/libs/js/libs.js 0 additions, 0 deletionssrc/main/resources/app/jobad/libs/js/libs.js
Loading
Please register or sign in to comment