| Commit | Date | |
|---|---|---|
|
[r9729]
by
dwarren
Fix read error when operator is followed by a semicolon, so should be read as atom. |
2019-12-05 15:40:03 | Tree |
| 2019-11-26 21:42:55 | Tree | |
|
[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 |