| Wed, 14 Sep 2005 22:04:36 +0200 | wenzelm | HOL: method comm_ring; | changeset | files |
| Wed, 14 Sep 2005 22:04:35 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 14 Sep 2005 22:04:34 +0200 | wenzelm | no longer prefer xemacs, which fails more often than GNU emacs; | changeset | files |