diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-23 17:31:56 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-02-23 17:31:56 +0100 |
| commit | 1dd4d473bb136c607eeea3a2d655b3f56e5aeee8 (patch) | |
| tree | 3c9c8999bc7e2e5af2e53f6485ac1f213f253cd4 /js/codemirror/prolog.js | |
| parent | 2fa2481829bda1f475c7f9681551631cb0ba6b4f (diff) | |
Remove explicit "Hint" button
Hints are now generated for each tested program, and the user can press
a button to reveal the hints.
Diffstat (limited to 'js/codemirror/prolog.js')
0 files changed, 0 insertions, 0 deletions