Changeset 4264 for trunk/configs
- Timestamp:
- 05/15/08 10:00:22 (8 months ago)
- Location:
- trunk/configs
- Files:
-
- 2 modified
-
swi.config (modified) (1 diff)
-
yap.config (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/configs/swi.config
r4233 r4264 490 490 491 491 % '$lgt_rewrite_and_copy_pl_directive'(@callable, -callable) 492 493 '$lgt_rewrite_and_copy_pl_directive'(if(Goal), if(Goal)). 494 '$lgt_rewrite_and_copy_pl_directive'(elif(Goal), elif(Goal)). 495 '$lgt_rewrite_and_copy_pl_directive'(else, else). 496 '$lgt_rewrite_and_copy_pl_directive'(endif, endif). 492 497 493 498 '$lgt_rewrite_and_copy_pl_directive'(license(License), license(License)). -
trunk/configs/yap.config
r4263 r4264 528 528 % '$lgt_rewrite_and_copy_pl_directive'(@callable, -callable) 529 529 530 '$lgt_rewrite_and_copy_pl_directive'(if(Goal), if(Goal)). 531 '$lgt_rewrite_and_copy_pl_directive'(elif(Goal), elif(Goal)). 532 '$lgt_rewrite_and_copy_pl_directive'(else, else). 533 '$lgt_rewrite_and_copy_pl_directive'(endif, endif). 534 530 535 '$lgt_rewrite_and_copy_pl_directive'(table(PIs), table(CPIs)) :- 531 536 '$lgt_rewrite_and_copy_pl_directive_pis'(PIs, CPIs).
