| Tue, 05 Oct 2010 07:30:37 +0100 | Christian Urban | llncs and more sqeezing | file | diff | annotate |
| Mon, 04 Oct 2010 12:39:57 +0100 | Christian Urban | first part of sqeezing everything into 20 pages (at the moment we have 26) | file | diff | annotate |
| Mon, 04 Oct 2010 07:25:37 +0100 | Christian Urban | changed to llncs | file | diff | annotate |
| Fri, 01 Oct 2010 15:44:50 +0900 | Cezary Kaliszyk | Made the paper to compile with the renamings. | file | diff | annotate |
| Sun, 26 Sep 2010 17:57:30 -0400 | Christian Urban | a few more words about Ott | file | diff | annotate |
| Sat, 04 Sep 2010 07:39:38 +0800 | Christian Urban | got rid of Nominal2_Supp (is now in Nomina2_Base) | file | diff | annotate |