This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

Vítor Santos Costa 6966d23195 fix P details when creating execution environment: we should save the old one		2013-09-08 22:24:09 +01:00
..
fli	fix P details when creating execution environment: we should save the old one	2013-09-08 22:24:09 +01:00
INDEX.pl	fix to thread support.	2011-03-11 19:49:32 +00:00
listing.pl	listing library is a SWI thing.	2010-04-22 09:07:38 +01:00
syspred_options.pl	predicate options.	2012-02-13 09:39:09 +00:00