| Sun, 26 May 2013 19:11:52 +0200 | wenzelm | more conventional pretty printing; | changeset | files |
| Sun, 26 May 2013 18:37:43 +0200 | wenzelm | tuned white-space; | changeset | files |
| Sun, 26 May 2013 19:45:54 +0200 | haftmann | more specific structure for registration into theory and dependency onto locale | changeset | files |