joerg fe81b8cf2e Fix build against readline 6.3.		2014-04-21 18:15:32 +00:00
..
patch-aa
patch-ad
patch-ae
patch-af
patch-ah
patch-aj
patch-configure	Make the GCC version check specific enough to not match clang.	2013-10-27 20:33:18 +00:00
patch-configure.in	Make the GCC version check specific enough to not match clang.	2013-10-27 20:33:18 +00:00
patch-os_pl-rl.c	Fix build against readline 6.3.	2014-04-21 18:15:32 +00:00
patch-packages_CLPBN_horus_HorusCli.cpp	Don't use false as pointer. Don't use default arguments in friend	2013-07-19 12:51:56 +00:00
patch-packages_CLPBN_horus_Util.h	pow(3) takes double arguments.	2014-01-06 22:13:38 +00:00
patch-packages_pldoc_Makefile.in
patch-packages_swi-minisat2_C_SolverTypes.h	Don't use false as pointer. Don't use default arguments in friend	2013-07-19 12:51:56 +00:00