codeq-web.git - CodeQ web client

Age	Commit message (Expand)	Author
2015-09-16	Merge branch 'master' of ssh://212.235.189.51:22122/codeq-web	Robert Zorko
2015-09-16	basis for the state machine and some UI improvements (currently disabled)	Robert Zorko
2015-09-16	Leave to Bootstrap to set the font for console (the <pre> element).	Aleš Smodiš
2015-09-16	Bugfix: console must not collapse spaces.	Aleš Smodiš
2015-09-15	Prolog handler now uses CodeQ terminal.	Aleš Smodiš
2015-09-03	Fix scrolling and line-breaking in CodeQ console	Timotej Lazar
2015-09-03	Remove jquery-console CSS	Timotej Lazar
2015-09-02	Bugfixed CodeQ Console, loaded it from prolog.html, added CSS and cursor blin...	Aleš Smodiš
2015-07-17	sins	markop
2015-07-16	finished block toolbar, course and task title static mockup, same css adjustm...	markop
2015-07-15	Added support for displaying hints. For now triggered by hand via a console, ...	Aleš Smodiš
2015-07-15	menu & editor toolbar	markop
2015-07-14	- use bootstrap style/grid system	markop
2015-07-14	Changed the organization of js and css file to reflect the libraries they are...	Aleš Smodiš
2015-07-13	Fix typo.	Aleš Smodiš
2015-07-13	Initial commit: bare page for Prolog tasks with editor and command prompt, li...	Aleš Smodiš