| Commit | Date | |
|---|---|---|
| 2017-12-30 22:03:15 | Tree | |
| 2017-12-30 21:53:38 | Tree | |
|
[r9182]
by
tswift
curr_sym.P, std_xsb.P : added incr_is_invalid/1,incr_is_invalid/3, incr_invalid_subgoals/1, Also added some code for set_subgoal property, which isn't finished standard.P tables.P tables.P, tr_utils.c get_calls/1 fixed to allow explicit module in input |
2017-12-30 21:52:03 | Tree |
|
[r9181]
by
tswift
curr_sym.P, std_xsb.P : added incr_is_invalid/1,incr_is_invalid/3, incr_invalid_subgoals/1, Also added some code for set_subgoal property, which isn't finished standard.P tables.P tables.P, tr_utils.c get_calls/1 fixed to allow explicit module in input |
2017-12-30 21:50:35 | Tree |
| 2017-12-25 20:53:37 | Tree | |
| 2017-12-21 05:57:35 | Tree | |
| 2017-12-15 08:18:54 | Tree | |
|
[r9177]
by
dwarren
Added documentation to include str_repl/4. |
2017-12-11 15:36:23 | Tree |
| 2017-12-11 15:32:30 | Tree | |
| 2017-12-11 15:30:03 | Tree |