XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

• Summary
• Files
• Reviews
• Support
• Mail Lists
• Tickets ▾
  • Bugs
  • Feature Requests
  • Support Requests
  • Patches
• News
• Sources (GIT)
• Src (SVN)-old

Menu ▾ ▴

 

• Browse Commits
• Browse Files

Commit [r5869]  Maximize  Restore  History

Changing .pl -> .P for some files to work better with the module
system. At some point, perhaps we should add .pl to some of the
dynamic loaders, or at least think seriously about it.

Authored by: tswift 2008-02-18

Browse code at this revision

Parent: [r5868]

Child: [r5870]

added	/trunk/XSB/packages/clpqr/bb_r.P
removed	/trunk/XSB/packages/clpqr/bb_r.pl
added	/trunk/XSB/packages/clpqr/bv_r.P
removed	/trunk/XSB/packages/clpqr/bv_r.pl
added	/trunk/XSB/packages/clpqr/fourmotz_r.P
removed	/trunk/XSB/packages/clpqr/fourmotz_r.pl
added	/trunk/XSB/packages/clpqr/ineq_r.P
removed	/trunk/XSB/packages/clpqr/ineq_r.pl
added	/trunk/XSB/packages/clpqr/itf_r.P
removed	/trunk/XSB/packages/clpqr/itf_r.pl
added	/trunk/XSB/packages/clpqr/nf_r.P
removed	/trunk/XSB/packages/clpqr/nf_r.pl
added	/trunk/XSB/packages/clpqr/ordering.P
removed	/trunk/XSB/packages/clpqr/ordering.pl
added	/trunk/XSB/packages/clpqr/redund.P
removed	/trunk/XSB/packages/clpqr/redund.pl
added	/trunk/XSB/packages/clpqr/store_r.P
removed	/trunk/XSB/packages/clpqr/store_r.pl

/trunk/XSB/packages/clpqr/bb_r.P Diff Switch to side-by-side view

/trunk/XSB/packages/clpqr/bb_r.pl

File was removed.

/trunk/XSB/packages/clpqr/bv_r.P Diff Switch to side-by-side view

/trunk/XSB/packages/clpqr/bv_r.pl

File was removed.

/trunk/XSB/packages/clpqr/fourmotz_r.P Diff Switch to side-by-side view

/trunk/XSB/packages/clpqr/fourmotz_r.pl

File was removed.

/trunk/XSB/packages/clpqr/ineq_r.P Diff Switch to side-by-side view

/trunk/XSB/packages/clpqr/ineq_r.pl

File was removed.

/trunk/XSB/packages/clpqr/itf_r.P Diff Switch to side-by-side view

/trunk/XSB/packages/clpqr/itf_r.pl

File was removed.

/trunk/XSB/packages/clpqr/nf_r.P Diff Switch to side-by-side view

/trunk/XSB/packages/clpqr/nf_r.pl

File was removed.

/trunk/XSB/packages/clpqr/ordering.P Diff Switch to side-by-side view

/trunk/XSB/packages/clpqr/ordering.pl

File was removed.

/trunk/XSB/packages/clpqr/redund.P Diff Switch to side-by-side view

/trunk/XSB/packages/clpqr/redund.pl

File was removed.

/trunk/XSB/packages/clpqr/store_r.P Diff Switch to side-by-side view

/trunk/XSB/packages/clpqr/store_r.pl

File was removed.

✕