|
CLPBN
|
flag unavailable before gcc-4.2
|
2011-06-11 23:07:02 +01:00 |
|
PLStream
|
windows console fixes
|
2011-06-09 17:55:27 +01:00 |
|
ProbLog
|
corrected an import bug
|
2011-02-08 15:57:23 +01:00 |
|
R@b0fde37bf3
|
use SWI flags.
|
2011-03-26 15:18:56 +00:00 |
|
RDF@077a6e7876
|
iupdate dtoa and new versions of packages.
|
2011-03-22 11:42:05 +00:00 |
|
YapR@a6646d0be1
|
for now go back to old tabling trailing
|
2011-04-15 10:48:24 +01:00 |
|
chr@bf6525f85c
|
windows console fixes
|
2011-06-09 17:55:27 +01:00 |
|
clib@4b317ca09a
|
recent versions of packages.
|
2011-03-22 09:32:59 +00:00 |
|
clpqr@f71221999d
|
upgrade to latest SWI
|
2011-02-10 00:01:19 +00:00 |
|
cplint
|
more HAVE_CONFIG_H patches
|
2010-10-24 21:28:37 +02:00 |
|
http@dd614178a5
|
use SWI flags.
|
2011-03-26 15:18:56 +00:00 |
|
jpl@4f82114d41
|
upgrade to latest SWI
|
2011-02-10 00:01:19 +00:00 |
|
meld
|
export TermToStream
|
2011-05-25 13:10:39 +01:00 |
|
plunit@dcdc7f1292
|
use SWI flags.
|
2011-03-26 15:18:56 +00:00 |
|
pyswip
|
pyswip was using old SWI function.
|
2010-06-30 17:53:26 +02:00 |
|
semweb@2229eb3807
|
recent versions of packages.
|
2011-03-22 09:32:59 +00:00 |
|
sgml@652ce8786d
|
includ e6.2 changes for globals.
|
2011-04-04 13:20:35 +01:00 |
|
swi-minisat2
|
patches from Keri Harris
|
2010-12-30 22:14:45 -06:00 |
|
tai
|
fix pl-tai
|
2011-03-09 13:05:03 +00:00 |
|
udi
|
updates to UDI package
|
2009-04-02 17:34:42 +01:00 |
|
zlib@deea4bfdf7
|
ZLIB support
|
2011-03-15 18:16:05 +00:00 |
|
Dialect.defs.in
|
include R package.
|
2011-03-19 15:29:06 +00:00 |
|
Makefile.defs.in
|
fix RUNTEX
|
2011-03-19 15:28:45 +00:00 |
f04a153e42