Sun, 10 Jul 2011 15:48:15 +0200 | wenzelm | more abstract signature; | changeset | files |
Sun, 10 Jul 2011 13:51:21 +0200 | wenzelm | simplified XML_Data; | changeset | files |
Sun, 10 Jul 2011 13:00:22 +0200 | wenzelm | less currying in Scala; | changeset | files |