2 Commits (6d4ccaa39841f5ff7dbeabae7e8f208795d38ecb)

Author	SHA1	Message	Date
Nils Adermann	7558731830	Fix documentation layout	2011-10-22 13:03:50 +02:00
Nils Adermann	4d5655a604	Add basic specification of the default solver policy behaviour	2011-10-22 12:48:53 +02:00