Sat, 17 Oct 2009 00:53:18 +0200 | wenzelm | legacy Drule.standard is no longer pervasive; | changeset | files |
Sat, 17 Oct 2009 00:52:37 +0200 | wenzelm | explicitly qualify Drule.standard; | changeset | files |
Fri, 16 Oct 2009 10:55:07 +0200 | wenzelm | tuned white space; | changeset | files |