2 Commits (50e7f4bea93a565b5e511ff84ac39f3a074c4219)

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