Menu

Commit [r6669]  Maximize  Restore  History

Another small update to delete_branch to support backtrackable updates
and trie_unintern_nr.

tswift 2010-07-05

changed /trunk/XSB/emu/tr_utils.c
/trunk/XSB/emu/tr_utils.c Diff Switch to side-by-side view
Loading...
Monday.com Logo