LeonOnline is running !

web/lib/funcheck-plugin_2.8.1-1.0.jar

web/lib/purescala-definitions_2.8.1-1.0.jar

web/lib/scala-compiler.jar

web/lib/z3.jar

web/project/build.properties

web/project/build/LiftProject.scala

web/src/main/resources/.keep

web/src/main/resources/props/default.props

web/src/main/scala/bootstrap/liftweb/Boot.scala

web/src/main/scala/code/comet/.keep

web/src/main/scala/code/comet/Chat.scala

web/src/main/scala/code/comet/CodeProcessor.scala

web/src/main/scala/code/comet/Editor.scala

web/src/main/scala/code/lib/DependencyFactory.scala

web/src/main/scala/code/snippet/Z3Snippet.scala

web/src/main/scala/code/view/.keep

web/src/main/webapp/WEB-INF/web.xml

web/src/main/webapp/codemirror/codemirror.js

web/src/main/webapp/codemirror/editor.js

web/src/main/webapp/codemirror/highlight.js