Wed, 07 Dec 2011 16:18:40 +0100close branch jedit-isac jedit-isac
Walther Neuper <neuper@ist.tugraz.at> [Wed, 07 Dec 2011 16:18:40 +0100] rev 42349
close branch jedit-isac

Wed, 07 Dec 2011 16:11:33 +0100tuned
Walther Neuper <neuper@ist.tugraz.at> [Wed, 07 Dec 2011 16:11:33 +0100] rev 42348
tuned

this was the 1st commit after 'hg branch --force default'

Wed, 07 Dec 2011 10:34:12 +0100finished uncomment test/../integrate.sm decompose-isar
Walther Neuper <neuper@ist.tugraz.at> [Wed, 07 Dec 2011 10:34:12 +0100] rev 42347
finished uncomment test/../integrate.sm

Mon, 05 Dec 2011 22:19:57 +0100merged decompose-isar
Jan Rocnik <jan.rocnik@student.tugraz.at> [Mon, 05 Dec 2011 22:19:57 +0100] rev 42346
merged

Mon, 05 Dec 2011 22:19:20 +0100tuned (no errors but not working like expected, script isn't able to find factors_from_solution function decompose-isar
Jan Rocnik <jan.rocnik@student.tugraz.at> [Mon, 05 Dec 2011 22:19:20 +0100] rev 42345
tuned (no errors but not working like expected, script isn't able to find factors_from_solution function

Sun, 04 Dec 2011 16:09:56 +0100successfully packed functions into partial_fractions decompose-isar
Jan Rocnik <jan.rocnik@student.tugraz.at> [Sun, 04 Dec 2011 16:09:56 +0100] rev 42344
successfully packed functions into partial_fractions

Mon, 05 Dec 2011 10:46:56 +0100cleaned intermed. test decompose-isar
Walther Neuper <neuper@ist.tugraz.at> [Mon, 05 Dec 2011 10:46:56 +0100] rev 42343
cleaned intermed. test

Thu, 01 Dec 2011 18:00:34 +0100result from meeting Jan decompose-isar
Walther Neuper <neuper@ist.tugraz.at> [Thu, 01 Dec 2011 18:00:34 +0100] rev 42342
result from meeting Jan

Thu, 01 Dec 2011 16:54:32 +0100merged decompose-isar
Walther Neuper <neuper@ist.tugraz.at> [Thu, 01 Dec 2011 16:54:32 +0100] rev 42341
merged

Thu, 01 Dec 2011 16:54:25 +0100added README for pdfl-generation decompose-isar
Walther Neuper <neuper@ist.tugraz.at> [Thu, 01 Dec 2011 16:54:25 +0100] rev 42340
added README for pdfl-generation