2 Commits (0bcf3c26d9f5fa093e5d6fad8a0d1b18d6b6fcf4)

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