5 Commits

Author	SHA1	Message	Date
Theofrastos Mantadelis	a442d888de	Newest ProbLog version	2010-12-16 14:30:50 +01:00
Theofrastos Mantadelis	0cd5cec64b	Portability issues	2010-09-28 21:22:32 +02:00
Paulo Moura	8cf9568c8b	Fixing minor portability issues	2010-09-25 03:46:20 +01:00
Paulo Moura	5d1aa5844a	Fixing minor portability issues	2010-09-25 02:24:30 +01:00
Theofrastos Mantadelis	a8dbd74518	Bernd fixes	2010-09-24 16:02:02 +02:00