| Sun, 05 Dec 2010 14:02:16 +0100 | wenzelm | command 'notepad' replaces former 'example_proof'; | changeset | files |
| Sun, 05 Dec 2010 13:42:58 +0100 | wenzelm | prefer 'notepad' over 'example_proof'; | changeset | files |
| Sun, 05 Dec 2010 08:34:02 +0100 | haftmann | merged | changeset | files |
| Sat, 04 Dec 2010 21:53:00 +0100 | haftmann | more intimate definition of fold_list / fold_once in terms of fold | changeset | files |
| Sat, 04 Dec 2010 21:26:33 +0100 | haftmann | canonical fold signature | changeset | files |
| Sat, 04 Dec 2010 21:26:55 +0100 | wenzelm | formal notepad without any result; | changeset | files |
| Sat, 04 Dec 2010 18:41:12 +0100 | wenzelm | added Syntax.default_root; | changeset | files |