| Commit | Date | |
|---|---|---|
|
[r7931]
by
dwarren
Fixed bug in term_size in handling 0-ary function symbols. |
2014-03-15 17:55:26 | Tree |
| 2014-03-12 16:45:23 | Tree | |
| 2014-03-11 13:29:28 | Tree | |
| 2014-03-10 12:46:42 | Tree | |
| 2014-03-07 20:39:54 | Tree | |
|
[r7926]
by
dwarren
Added ability to throw the position of a sytax error in the error-ball. |
2014-03-07 15:14:50 | Tree |
| 2014-03-07 15:11:42 | Tree | |
| 2014-03-07 15:09:10 | Tree | |
| 2014-03-06 14:08:46 | Tree | |
|
[r7922]
by
kifer
Changes in parse.P to allow XSB to serve as an external preprocessor for Prolog |
2014-03-06 07:34:32 | Tree |