Sat, 08 Jan 2011 18:01:10 +0100 | wenzelm | updated NEOS_SERVER, which is now provided via settings; | changeset | files |
Sat, 08 Jan 2011 17:39:51 +0100 | wenzelm | renamed Sum_Of_Squares to Sum_of_Squares; | changeset | files |
Sat, 08 Jan 2011 17:30:05 +0100 | wenzelm | Ord_List.merge convenience; | changeset | files |