Christian Urban <urbanc@in.tum.de> [Fri, 21 May 2010 05:58:23 +0100] rev 2292
tuned
Christian Urban <urbanc@in.tum.de> [Fri, 21 May 2010 00:44:39 +0100] rev 2291
proper parser for "exclude:"
Christian Urban <urbanc@in.tum.de> [Thu, 20 May 2010 21:47:12 +0100] rev 2290
tuned
Christian Urban <urbanc@in.tum.de> [Thu, 20 May 2010 21:35:00 +0100] rev 2289
moved some mk_union and mk_diff into the library
Christian Urban <urbanc@in.tum.de> [Thu, 20 May 2010 21:23:53 +0100] rev 2288
new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files
Christian Urban <urbanc@in.tum.de> [Mon, 21 Jun 2010 02:04:39 +0100] rev 2287
some post-submission polishing
Christian Urban <urbanc@in.tum.de> [Mon, 21 Jun 2010 00:45:27 +0100] rev 2286
added a few points that need to be looked at the next version of the qpaper
Christian Urban <urbanc@in.tum.de> [Mon, 21 Jun 2010 00:36:17 +0100] rev 2285
eliminated a quot_thm flag
Christian Urban <urbanc@in.tum.de> [Sun, 20 Jun 2010 02:37:58 +0100] rev 2284
fixed example
Christian Urban <urbanc@in.tum.de> [Sun, 20 Jun 2010 02:37:44 +0100] rev 2283
small addition to the acknowledgement
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 17 Jun 2010 09:25:44 +0200] rev 2282
qpaper / address FIXMEs.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 17 Jun 2010 07:37:26 +0200] rev 2281
forgot to save
Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 17 Jun 2010 07:34:29 +0200] rev 2280
Fix regularization. Two "FIXME" left in introduction. Minor spellings.
Christian Urban <urbanc@in.tum.de> [Thu, 17 Jun 2010 00:27:57 +0100] rev 2279
polished everything and submitted
Christian Urban <urbanc@in.tum.de> [Wed, 16 Jun 2010 22:29:42 +0100] rev 2278
conclusion done
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 16 Jun 2010 14:26:23 +0200] rev 2277
Answer questions in comments