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.
yap-6.3/packages
Vítor Santos Costa 980f6db84d SWI's clib package
2010-06-17 00:41:11 +01:00
..
chr@12da822986 fix messed up Makefile conventions 2010-06-04 22:59:31 +01:00
clib clib package 2010-06-17 00:40:25 +01:00
CLPBN fix mess with LIBDIR and YAPLIBDIR 2010-06-01 00:38:42 +01:00
clpqr@b83af78bc6 fix messed up Makefile conventions 2010-06-04 22:59:31 +01:00
cplint DLL cleanup (yet again) 2010-06-14 09:28:20 +01:00
jpl@1804608c80 SWI's clib package 2010-06-17 00:41:11 +01:00
PLStream extend SWI compatinbility. 2010-06-17 00:33:57 +01:00
plunit fix messed up Makefile conventions 2010-06-04 22:59:31 +01:00
ProbLog use SO to make YAP makefiles closer to SWI's 2010-06-14 10:36:13 +01:00
pyswip fix name for yap dll 2010-06-04 22:32:26 +01:00
sgml use SO to make YAP makefiles closer to SWI's 2010-06-14 10:36:13 +01:00
swi-minisat2 use SO to make YAP makefiles closer to SWI's 2010-06-14 10:36:13 +01:00
udi updates to UDI package 2009-04-02 17:34:42 +01:00