Sun, 25 Oct 2009 19:21:34 +0100 | wenzelm | name space groups are identified by serial, not serial_string; | file | diff | annotate |
Sat, 24 Oct 2009 20:47:10 +0200 | krauss | configuration flag "partials" | file | diff | annotate |
Fri, 23 Oct 2009 16:22:10 +0200 | krauss | function package: more standard names for structures and files | file | diff | annotate |
Fri, 23 Oct 2009 15:33:19 +0200 | krauss | renamed FundefDatatype -> Function_Fun | file | diff | annotate |