| Wed, 30 Nov 2011 23:30:08 +0100 | wenzelm | discontinued obsolete datatype "alt_names"; | changeset | files |
| Wed, 30 Nov 2011 21:14:01 +0100 | wenzelm | misc tuning; | changeset | files |
| Wed, 30 Nov 2011 19:18:17 +0100 | wenzelm | merged | changeset | files |
| Wed, 30 Nov 2011 18:50:46 +0100 | kuncar | removed outdated comment moved back and updated (at the direct request of Christian Urban) | changeset | files |
| Wed, 30 Nov 2011 15:07:10 +0100 | bulwahn | more stable introduction of the internally used unknown term | changeset | files |
| Wed, 30 Nov 2011 18:07:14 +0100 | wenzelm | prefer typedef without alternative name; | changeset | files |
| Wed, 30 Nov 2011 17:30:01 +0100 | wenzelm | prefer cpodef without extra definition; | changeset | files |