| Thu, 02 Feb 2006 16:31:33 +0100 | wenzelm | more generic type for map_specs/facts; | changeset | files |
| Thu, 02 Feb 2006 16:31:32 +0100 | wenzelm | 'obtains' element; | changeset | files |
| Thu, 02 Feb 2006 16:31:31 +0100 | wenzelm | 'obtain': optional case name; | changeset | files |
| Thu, 02 Feb 2006 16:31:30 +0100 | wenzelm | index elements; | changeset | files |