Cosmetic changes in 7.1

Several cosmetic things things have changed in 7.1 compared with 7.0. Here is a list (may be incomplete, I'm afraid: please let me know if you notice more that aren't listed here).

Thanks to Joachim Parrow for suggesting I make this list and pointing out many of the items on it.

Back to CWB home page