diff options
author | Aleksander Sadikov <sasha@fri.uni-lj.si> | 2015-09-10 20:03:26 +0200 |
---|---|---|
committer | Aleksander Sadikov <sasha@fri.uni-lj.si> | 2015-09-10 20:03:26 +0200 |
commit | 42f7fd57532c62e1de352061f4eb3386ab42ed3e (patch) | |
tree | 0f6aece3a05e1321c31d294a16c2aeb0bf34c3ef /.gitignore | |
parent | 8d29abdb953b5fc949ed520dccd956e908eb9265 (diff) |
Update prolog engine (sasha's aux functions for prolog hint testing added).
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions