On Mon, 22 Nov 2010, Roy Stogner wrote:
> On Mon, 22 Nov 2010, Tim Kroeger wrote:
>
>> Checked in everything now. I also updated the class docs, but there seems
>> to be something strange with this. That is, the inherticance diagrams now
>> look different than they did before. Did I do someth
On Mon, 22 Nov 2010, Tim Kroeger wrote:
> Checked in everything now. I also updated the class docs, but there seems to
> be something strange with this. That is, the inherticance diagrams now look
> different than they did before. Did I do something wrong? I did
>
> make doc
> L
On Thu, 18 Nov 2010, Tim Kroeger wrote:
> The subset-solve stuff now seems to work properly. At least, my application
> does not crash, and the output looks reasonable. I'd like to check-in this
> now, see attached patch, together with the example that I posted last week.
> If somebody has ob
