summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-09-11 11:54:00 +0200
committerTimotej Lazar <timotej.lazar@araneo.org>2015-09-11 12:00:48 +0200
commit236eb936db8c11a4fe68e40838f87c9bec417ad1 (patch)
tree161ffa00c8c26a3e7aeb32bf0faffae29d50cc0d /.gitignore
parentd1d652fd1ce39d09ac0fd379cd1455ed9ebd2660 (diff)
Pass a list of solved problems to Prolog hint/test
This replaces the session parameter that was passed before but not used. Especially in the hint functions it will be useful in some cases to handle user's current code, previous solutions, and the facts library separately.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions