diff options
| author | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-02-29 20:56:12 +0100 |
|---|---|---|
| committer | Aleksander Sadikov <aleksander.sadikov@fri.uni-lj.si> | 2016-02-29 20:56:12 +0100 |
| commit | 500dae272daabdb5e9272d3e54111aea5e109c3b (patch) | |
| tree | 491c5b85390894415d897e6c509daff60f8a2512 /server | |
| parent | 8bd1bb649e4b66ad9f07ab0f04649d4ce7cdd615 (diff) | |
Improved hints for ancestor/2. "Timeout results as False" ask_truthTO() function added.
Diffstat (limited to 'server')
0 files changed, 0 insertions, 0 deletions