Thomas Hille 695b8946f6 added search intervention. search opens new tab with search in the java course (at least in chrome) ...

send only 3 interventions per exercise at maximum

2017-03-21 10:31:33 +01:00

..

images

transferred Code Ocean from original repository to GitHub

2015-01-22 10:01:32 +01:00

javascripts

added search intervention. search opens new tab with search in the java course (at least in chrome)

2017-03-21 10:31:33 +01:00

stylesheets

some howto text for request_for_comment usage, changed background color of read-only editor.

2017-03-15 16:15:29 +01:00