Mon, 21 Jun 2010 00:45:27 +0100 | Christian Urban | added a few points that need to be looked at the next version of the qpaper | changeset | files |
Mon, 21 Jun 2010 00:36:17 +0100 | Christian Urban | eliminated a quot_thm flag | changeset | files |
Sun, 20 Jun 2010 02:37:58 +0100 | Christian Urban | fixed example | changeset | files |