CLPBN
|
installation patches from Keri Harris
|
2010-03-05 08:15:02 +00:00 |
PLStream
|
win64
|
2010-05-10 10:22:42 +01:00 |
chr@12b02a09d6
|
update chr
|
2010-04-22 18:09:18 +01:00 |
clpqr@dc903cf885
|
fix makefiles to define $exec_prefix
|
2010-03-05 10:22:48 +00:00 |
cplint
|
adapation to 6.0.5 (builtin intersection)
|
2010-05-14 17:38:47 +02:00 |
sgml
|
fix typing problems and a bug in quote.c?
|
2010-05-06 12:19:51 +01:00 |
swi-minisat2
|
fix makefiles to define $exec_prefix
|
2010-03-05 10:22:48 +00:00 |
udi
|
updates to UDI package
|
2009-04-02 17:34:42 +01:00 |