| Mon, 04 Sep 2006 19:49:39 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 04 Sep 2006 18:41:33 +0200 | paulson | Using Drule.local_standard to reduce the space usage | changeset | files |
| Mon, 04 Sep 2006 17:06:45 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 04 Sep 2006 16:28:36 +0200 | wenzelm | updated; | changeset | files |
| Mon, 04 Sep 2006 16:28:27 +0200 | wenzelm | more on variables; | changeset | files |
| Mon, 04 Sep 2006 15:27:30 +0200 | ballarin | More locale test code. | changeset | files |
| Mon, 04 Sep 2006 15:27:00 +0200 | ballarin | Documented methods intro_locales and unfold_locales. | changeset | files |