| Wed, 29 Dec 2010 21:52:41 +0100 | krauss | function (default) is legacy feature | changeset | files |
| Wed, 29 Dec 2010 21:21:11 +0100 | wenzelm | more scalable Symbol_Pos.explode; | changeset | files |
| Wed, 29 Dec 2010 20:41:33 +0100 | wenzelm | tuned ML toplevel pp for type string: observe depth limit; | changeset | files |
| Wed, 29 Dec 2010 18:18:42 +0100 | wenzelm | theory loader: implicit load path is considered legacy; | changeset | files |