CLPBN
|
installation patches from Keri Harris
|
2010-03-05 08:15:02 +00:00 |
PLStream
|
fix makefiles to define $exec_prefix
|
2010-03-05 10:22:48 +00: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
|
removed debug printf, changed module tptree name
|
2010-03-21 11:49:19 +01:00 |
sgml
|
fix makefiles to define $exec_prefix
|
2010-03-05 10:22:48 +00: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 |