Menu

Src (SVN)-old Commit Log


Commit Date  
[r9542] by dwarren

Find floundered_undefines/1 in right module.

2019-02-16 21:34:51 Tree
[r9541] by dwarren

Better fix for attributed variable bug in excess_vars.

2019-02-16 21:33:04 Tree
[r9540] by dwarren

Fixed un-escaped backslashes in strings; sorted mode file output for consistency.

2019-02-16 21:28:34 Tree
[r9539] by dwarren

Fixed all un-escaped backslashes in strings; Sorted mode output for consistency.

2019-02-16 21:21:21 Tree
[r9538] by dwarren

Updated use of term_variables.

2019-02-15 23:02:07 Tree
[r9537] by dwarren

fixed term_variables usage.

2019-02-15 23:00:28 Tree
[r9536] by dwarren

Fixed bug in excess_vars' handling of attributed variables.

2019-02-15 22:58:44 Tree
[r9535] by dwarren

Changed to import term_variables_swi from swi and use it instead of term_variables.

2019-02-15 16:15:14 Tree
[r9534] by dwarren

Changed from defining term_variables to importing term_variables_swi from swi and using it.

2019-02-15 16:12:12 Tree
[r9533] by dwarren

Doc new options for read_term, and answer subsumption for dynamic predicates.

2019-02-14 15:24:01 Tree
Older >