| Wed, 17 Aug 2011 16:46:58 +0200 | wenzelm | improved default context for ML toplevel pretty-printing; | changeset | files |
| Wed, 17 Aug 2011 16:30:38 +0200 | wenzelm | less verbosity for 'function' and 'fun': observe "int" flag more carefully (cf. a32ca9165928); | changeset | files |
| Wed, 17 Aug 2011 16:01:27 +0200 | wenzelm | some convenience actions/shortcuts for control symbols; | changeset | files |
| Wed, 17 Aug 2011 15:14:48 +0200 | wenzelm | export Function_Fun.fun_config for user convenience; | changeset | files |