6 Commits

Author	SHA1	Message	Date
mattijs	2c31daa167	allow mut to be generated	2009-04-23 15:02:44 +01:00
mattijs	c153c5dc47	missing patch	2009-04-23 15:02:09 +01:00
mattijs	74213da984	new solver syntax	2009-04-17 10:59:26 +01:00
andy	dee5fee4db	tutorial updates	2009-02-18 12:29:22 +00:00
andy	a3b50aff9f	further tutorial updates	2009-02-13 14:17:08 +00:00
andy	12fba38d87	restructuring to reflect solver hierarchy	2009-02-12 18:59:59 +00:00