| Commit | Date | |
|---|---|---|
| 2019-05-28 13:57:43 | Tree | |
| 2019-05-28 02:26:33 | Tree | |
|
[r9602]
by
"kifer"
added a number of chmod +x to configure to improve some situations |
2019-05-23 02:38:07 | Tree |
|
[r9601]
by
dwarren
Fixed minor bug in lattice answer subsumption, when using an open term for the aggregation operation and subsumptive tabling. |
2019-05-21 18:05:10 | Tree |
| 2019-05-16 19:30:38 | Tree | |
| 2019-05-10 03:06:02 | Tree | |
|
[r9598]
by
"kifer"
made it easier to call extern_print_pterm_fun, which should be used instead of extern_print_pterm. The latter doesn't link on x32, but the former does. |
2019-05-10 01:50:08 | Tree |
| 2019-05-08 20:12:26 | Tree | |
| 2019-05-08 20:09:19 | Tree | |
| 2019-05-06 17:21:16 | Tree |