| Wed, 29 Nov 2006 15:45:00 +0100 | wenzelm | removed export_standard_morphism; | changeset | files |
| Wed, 29 Nov 2006 15:44:59 +0100 | wenzelm | renamed SIMPLE_METHOD' to SIMPLE_METHOD''; | changeset | files |
| Wed, 29 Nov 2006 15:44:58 +0100 | wenzelm | added export; | changeset | files |
| Wed, 29 Nov 2006 15:44:57 +0100 | wenzelm | tuned spaces/comments; | changeset | files |
| Wed, 29 Nov 2006 15:44:56 +0100 | wenzelm | simplified method setup; | changeset | files |
| Wed, 29 Nov 2006 15:44:51 +0100 | wenzelm | simplified method setup; | changeset | files |
| Wed, 29 Nov 2006 15:44:46 +0100 | wenzelm | simplified method setup; | changeset | files |