Wed, 28 Apr 2010 10:51:34 +0200 | wenzelm | get_sort: minimize sorts given in the text, while keeping those from the context unchanged (the latter are preferred); | changeset | files |
Wed, 28 Apr 2010 10:43:08 +0200 | wenzelm | export Type.minimize_sort; | changeset | files |