| Commit | Date | |
|---|---|---|
|
[r9727]
by
tswift
A couple of little changes that I just had to make once I started looking at the manual. |
2019-11-26 20:45:14 | Tree |
| 2019-11-26 20:34:12 | Tree | |
| 2019-11-26 20:33:47 | Tree | |
| 2019-11-21 21:30:34 | Tree | |
| 2019-11-21 21:27:07 | Tree | |
| 2019-11-19 21:48:43 | Tree | |
|
[r9721]
by
dwarren
Rename private xwam if command throws an error on load; add a cut to a first efficiency clause in subsumes/2. |
2019-11-19 20:23:39 | Tree |
| 2019-11-19 16:48:16 | Tree | |
| 2019-11-19 16:34:18 | Tree | |
|
[r9718]
by
tswift
Changes to a new test for proper handling of conditional answers with subsumption. |
2019-11-19 16:30:39 | Tree |