| Commit | Date | |
|---|---|---|
|
[r8420]
by
dwarren
1. Added flag that indicates if simplification was done during completion. |
2015-08-07 16:22:45 | Tree |
| 2015-08-06 17:42:05 | Tree | |
|
[r8418]
by
dwarren
Changed way to determine whether a goal needs answer-completion. Now |
2015-08-05 18:59:37 | Tree |
|
[r8417]
by
dwarren
Minor changes in answer-completion: use force_truth_value(...,false) |
2015-08-05 18:57:07 | Tree |
|
[r8416]
by
dwarren
Changes for answer_completion. |
2015-07-26 20:50:25 | Tree |
|
[r8415]
by
dwarren
All changes for answer-completion. (Redoes somethat got lost in the |
2015-07-26 20:49:14 | Tree |
|
[r8414]
by
dwarren
Add new tests for answer_completion, and |
2015-07-26 17:48:18 | Tree |
|
[r8413]
by
evansbj
Added missing CTXTc tokens to lines 3287, 3288 and 3307 and striped trailing whitespace. |
2015-07-15 09:12:07 | Tree |
| 2015-07-15 04:59:19 | Tree | |
|
[r8411]
by
evansbj
Line 1645: eptr needs to be defined if your not using LOCAL_EVAL and trailing whitespaces have been removed. |
2015-07-14 18:54:25 | Tree |