log

age author description
Mon, 19 Mar 2012 15:51:49 -0700 Christian Haeubl Merge
Mon, 19 Mar 2012 15:47:35 -0700 Christian Haeubl minor changes
Mon, 19 Mar 2012 15:08:07 -0700 Christian Haeubl added output when optimistic optimizations are disabled