codeq-web.git - CodeQ web client

Age	Commit message (Expand)	Author
2015-09-24	Reimplemented language selection with simple links. Removed unused startup.js...	Aleš Smodiš
2015-09-23	Remove padding above the code editor	Timotej Lazar
2015-09-22	enabled buttons in the navigation header (at least buttons on the left side o...	Robert Zorko
2015-09-21	Refactoring: simplified python.js and prolog.js, removed all DOM IDs except f...	Aleš Smodiš
2015-09-16	basis for the state machine and some UI improvements (currently disabled)	Robert Zorko
2015-09-03	Fix scrolling and line-breaking in CodeQ console	Timotej Lazar
2015-09-03	Remove jquery-console CSS	Timotej Lazar
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-13	Fix typo.	Aleš Smodiš
2015-07-13	Initial commit: bare page for Prolog tasks with editor and command prompt, li...	Aleš Smodiš