3 Commits

Author	SHA1	Message	Date
Vítor Santos Costa	e2bd922f8b	fix warning	2014-02-12 00:34:40 +00:00
Vitor Santos Costa	0391988788	support cross-compilation for windows	2014-01-23 01:46:16 +00:00
Vitor Santos Costa	be345a0387	update to recent ProbLog.	2011-06-26 23:13:43 +01:00