| Sat, 17 Oct 2009 13:46:39 +0200 | nipkow | added the_inv_onto | changeset | files |
| Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | changeset | files |
| Sat, 17 Oct 2009 01:05:59 +0200 | wenzelm | removed obsolete old goal command; | changeset | files |
| 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 |
| Fri, 16 Oct 2009 10:45:10 +0200 | wenzelm | local channels for tracing/debugging; | changeset | files |