Age | Commit message (Collapse) | Author | |
---|---|---|---|
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-02 | Bugfixed CodeQ Console, loaded it from prolog.html, added CSS and cursor ↵ | Aleš Smodiš | |
blinking. |