Thu, 18 Aug 2011 14:10:52 +0200 | Christian Urban | a bit more on the paper | changeset | files |
Wed, 17 Aug 2011 22:56:07 +0200 | Christian Urban | made same changes as in main branch | changeset | files |
Wed, 17 Aug 2011 21:08:48 +0200 | Christian Urban | more on the lmcs paper | changeset | files |
Wed, 17 Aug 2011 09:43:37 +0200 | Christian Urban | a little tuning on the paper | changeset | files |