Tue, 28 Feb 2012 13:10:22 +0000 fixed typo
Christian Urban <urbanc@in.tum.de> [Tue, 28 Feb 2012 13:10:22 +0000] rev 92
fixed typo
Mon, 27 Feb 2012 18:55:55 +0000 updated
Christian Urban <urbanc@in.tum.de> [Mon, 27 Feb 2012 18:55:55 +0000] rev 91
updated
Mon, 27 Feb 2012 13:35:14 +0000 new version of pip
Christian Urban <urbanc@in.tum.de> [Mon, 27 Feb 2012 13:35:14 +0000] rev 90
new version of pip
Sat, 18 Feb 2012 19:32:53 +0000 added pip publication
Christian Urban <urbanc@in.tum.de> [Sat, 18 Feb 2012 19:32:53 +0000] rev 89
added pip publication
Fri, 17 Feb 2012 02:40:08 +0000 new version with multisets
Christian Urban <urbanc@in.tum.de> [Fri, 17 Feb 2012 02:40:08 +0000] rev 88
new version with multisets
Tue, 14 Feb 2012 03:43:49 +0000 added link
Christian Urban <urbanc@in.tum.de> [Tue, 14 Feb 2012 03:43:49 +0000] rev 87
added link
Tue, 14 Feb 2012 03:27:06 +0000 added pip
Christian Urban <urbanc@in.tum.de> [Tue, 14 Feb 2012 03:27:06 +0000] rev 86
added pip
Fri, 10 Feb 2012 11:11:38 +0100 updated
Christian Urban <urbanc@in.tum.de> [Fri, 10 Feb 2012 11:11:38 +0100] rev 85
updated
Tue, 31 Jan 2012 16:30:35 +0000 tuned
Christian Urban <urbanc@in.tum.de> [Tue, 31 Jan 2012 16:30:35 +0000] rev 84
tuned
Tue, 31 Jan 2012 16:29:36 +0000 tuned
Christian Urban <urbanc@in.tum.de> [Tue, 31 Jan 2012 16:29:36 +0000] rev 83
tuned
Tue, 31 Jan 2012 16:28:53 +0000 tuned
Christian Urban <urbanc@in.tum.de> [Tue, 31 Jan 2012 16:28:53 +0000] rev 82
tuned
Tue, 31 Jan 2012 16:26:54 +0000 merged
Christian Urban <urbanc@in.tum.de> [Tue, 31 Jan 2012 16:26:54 +0000] rev 81
merged
Tue, 31 Jan 2012 16:26:02 +0000 typos by John Wickerson
Christian Urban <urbanc@in.tum.de> [Tue, 31 Jan 2012 16:26:02 +0000] rev 80
typos by John Wickerson
Thu, 26 Jan 2012 00:14:54 +0000 tuned
Christian Urban <urbanc@in.tum.de> [Thu, 26 Jan 2012 00:14:54 +0000] rev 79
tuned
(0) -14 +14 +100 +300 tip