| Sat, 16 Mar 2013 20:51:47 +0100 | kuncar | drop a workaround because of 8739f8abbecb | changeset | files |
| Sat, 16 Mar 2013 20:51:23 +0100 | kuncar | fixing transfer tactic - unfold fully identity relation by using relator_eq | changeset | files |
| Sat, 16 Mar 2013 17:22:05 +0100 | nipkow | tuned (in particular bold fonts) | changeset | files |