Fri, 23 Nov 2012 13:09:47 +0100closed, will never be used again decompose-isar
Walther Neuper <neuper@ist.tugraz.at> [Fri, 23 Nov 2012 13:09:47 +0100] rev 48781
closed, will never be used again

Tue, 13 Nov 2012 23:56:19 +0100merged decompose-isar
Diana Meindl <meindl_diana@yahoo.com> [Tue, 13 Nov 2012 23:56:19 +0100] rev 48780
merged

Tue, 13 Nov 2012 23:36:02 +0100first test decompose-isar
Diana Meindl <meindl_diana@yahoo.com> [Tue, 13 Nov 2012 23:36:02 +0100] rev 48779
first test

Sat, 03 Nov 2012 21:26:48 +0100jrocnik: paper: finished version 2
Jan Rocnik <jan.rocnik@student.tugraz.at> [Sat, 03 Nov 2012 21:26:48 +0100] rev 48778
jrocnik: paper: finished version 2

Fri, 02 Nov 2012 18:50:54 +0100jrocnik: WN finished
Walther Neuper <neuper@ist.tugraz.at> [Fri, 02 Nov 2012 18:50:54 +0100] rev 48777
jrocnik: WN finished

Fri, 02 Nov 2012 18:07:12 +0100merged
Walther Neuper <neuper@ist.tugraz.at> [Fri, 02 Nov 2012 18:07:12 +0100] rev 48776
merged

Fri, 02 Nov 2012 18:06:54 +0100jrocnik: suggestions done
Walther Neuper <neuper@ist.tugraz.at> [Fri, 02 Nov 2012 18:06:54 +0100] rev 48775
jrocnik: suggestions done

Fri, 02 Nov 2012 16:28:13 +0100jrocnik: paper: first error check
Jan Rocnik <jan.rocnik@student.tugraz.at> [Fri, 02 Nov 2012 16:28:13 +0100] rev 48774
jrocnik: paper: first error check

Fri, 02 Nov 2012 13:06:16 +0100jrocnik: tuned
Walther Neuper <neuper@ist.tugraz.at> [Fri, 02 Nov 2012 13:06:16 +0100] rev 48773
jrocnik: tuned

Fri, 02 Nov 2012 12:51:11 +0100jrocnik: tuned
Walther Neuper <neuper@ist.tugraz.at> [Fri, 02 Nov 2012 12:51:11 +0100] rev 48772
jrocnik: tuned