Thu, 22 Sep 2011 19:42:06 +0200 | blanchet | take out remote E-SInE -- it's broken and Geoff says it might take quite a while before he gets to it, plus it's fairly obsolete in the meantime | changeset | files |
Thu, 22 Sep 2011 18:23:38 +0200 | berghofe | Moved extraction part of Higman's lemma to separate theory to allow reuse in | changeset | files |
Thu, 22 Sep 2011 17:15:46 +0200 | berghofe | Removed hcentering and vcentering options, since they are not supported | changeset | files |