| Mon, 19 Oct 2009 16:47:21 +0200 | berghofe | Removed dead code in function mk_deftab. | changeset | files |
| Mon, 19 Oct 2009 16:45:52 +0200 | berghofe | Removed unneeded reference to inv_def. | changeset | files |
| Mon, 19 Oct 2009 16:45:00 +0200 | berghofe | Replaced inv by the_inv_onto. | changeset | files |
| Mon, 19 Oct 2009 16:43:45 +0200 | berghofe | Renamed inv to the_inv and turned it into an abbreviation (based on the_inv_onto). | changeset | files |