Wed, 09 Sep 2009 12:27:12 +0200 | haftmann | explicit transfer avoids spurious merge problems | changeset | files |
Wed, 09 Sep 2009 11:31:20 +0200 | haftmann | moved eq handling in nbe into separate oracle | changeset | files |
Tue, 08 Sep 2009 18:31:26 +0200 | wenzelm | tuned document -- proper text instead of source comments, reduced line length; | changeset | files |