2 Commits (ad92154c8fbbe63c81470fa753a58158ad5c0d4a)

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