Henry Oswald d97e42a959 get users features for compile options i.e. timeout and which compiler

2014-10-16 16:34:21 +01:00

..

ClsiManager.coffee

compile current file if top level document #42

2014-06-01 16:43:52 +02:00

CompileController.coffee

get users features for compile options i.e. timeout and which compiler

2014-10-16 16:34:21 +01:00

CompileManager.coffee

increase auto compile limit

2014-10-14 11:50:06 +01:00