Fri, 30 Oct 2009 01:32:06 +0100 | krauss | tuned | file | diff | annotate |
Fri, 30 Oct 2009 01:32:06 +0100 | krauss | absorbed inductive_wrap function into Function_Core; more conventional argument order; tuned | file | diff | annotate |
Wed, 28 Oct 2009 16:25:27 +0100 | wenzelm | conceal internal bindings; | file | diff | annotate |
Fri, 23 Oct 2009 16:22:10 +0200 | krauss | function package: more standard names for structures and files | file | diff | annotate |