Mon, 31 May 2010 21:06:57 +0200 | wenzelm | modernized some structure names, keeping a few legacy aliases; | file | diff | annotate |
Sat, 06 Feb 2010 22:01:48 +0100 | wenzelm | explicit representation of single-assignment variables; | file | diff | annotate |