| Wed, 03 Dec 2008 21:15:46 +0100 | wenzelm | eliminated traces of old Distribution directory; | changeset | files |
| Wed, 03 Dec 2008 21:02:20 +0100 | wenzelm | merged | changeset | files |
| Wed, 03 Dec 2008 21:02:12 +0100 | wenzelm | remove *.lof as well; | changeset | files |
| Wed, 03 Dec 2008 15:59:56 +0100 | haftmann | merged | changeset | files |
| Wed, 03 Dec 2008 15:58:44 +0100 | haftmann | made repository layout more coherent with logical distribution structure; stripped some $Id$s | changeset | files |
| Wed, 03 Dec 2008 15:27:41 +0100 | ballarin | Sublocale: removed public after_qed; identifiers private to NewLocale. | changeset | files |
| Wed, 03 Dec 2008 15:26:46 +0100 | ballarin | Made global_note_qualified public. | changeset | files |