Thu, 10 Jun 2010 10:53:51 +0200 | Christian Urban | more on the qpaper | changeset | files |
Mon, 07 Jun 2010 16:17:35 +0200 | Christian Urban | new title for POPL paper | changeset | files |
Mon, 07 Jun 2010 15:57:03 +0200 | Christian Urban | more work on intro and abstract (done for today) | changeset | files |
Mon, 07 Jun 2010 15:13:39 +0200 | Christian Urban | a bit more in the introduction and abstract | changeset | files |
Mon, 07 Jun 2010 11:33:00 +0200 | Christian Urban | improved abstract, some tuning | changeset | files |
Sun, 06 Jun 2010 13:16:27 +0200 | Cezary Kaliszyk | Qpaper / minor on cleaning | changeset | files |
Sat, 05 Jun 2010 14:37:05 +0200 | Cezary Kaliszyk | qpaper / injection proof. | changeset | files |
Sat, 05 Jun 2010 10:03:42 +0200 | Cezary Kaliszyk | qpaper / example interaction | changeset | files |