| Fri, 03 Dec 2010 22:34:20 +0100 | haftmann | lemmas fold_remove1_split and fold_multiset_equiv | changeset | files |
| Fri, 03 Dec 2010 22:08:14 +0100 | wenzelm | minor tuning for release; | changeset | files |
| Fri, 03 Dec 2010 21:34:54 +0100 | wenzelm | source files are always encoded as UTF-8; | changeset | files |
| Fri, 03 Dec 2010 21:30:41 +0100 | wenzelm | eliminated fragile HTML.with_charset -- always use utf-8; | changeset | files |