Changes http://wiki.axiom-developer.org/SummerOfCode2007/diff --
??changed: - Required skills: ??? + See #219 The Interpreter Does Not Understand Dependent Types + + Required skills: Lisp, [Boot Programming], Axiom, [Aldor] -- forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
