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 9e2a2b75b9 Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3 ...

Conflicts:
	library/dialect/swi/fli/swi.c
	packages/real

2014-02-02 21:52:14 +00:00

..

fli

Merge branch 'master' of ssh://git.dcc.fc.up.pt/yap-6.3

2014-02-02 21:52:14 +00:00

INDEX.pl

SWI likes nth/4

2013-10-29 12:41:56 +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