| Sat, 08 Jan 2011 11:29:25 -0800 | huffman | merged | changeset | files |
| Sat, 08 Jan 2011 11:18:09 -0800 | huffman | use proper syntactic types for 'syntax' commands | changeset | files |
| Sat, 08 Jan 2011 10:02:43 -0800 | huffman | make print translation for Abs_cfun consistent with other binders: prevent eta-contraction, but don't force eta-expansion | changeset | files |
| Sat, 08 Jan 2011 09:34:08 -0800 | huffman | use full path for library imports | changeset | files |
| Sat, 08 Jan 2011 09:30:52 -0800 | huffman | types -> type_synonym | changeset | files |
| 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 |