Differences
This shows you the differences between the selected revisions of the page.
| 2013-07-18 | 2014-10-02 | ||
| 5.2.2: not available in login dialog anymore (martin) | toc title page sections (martin) | ||
| Line 3: | Line 3: | ||
| &screenshotpict(pref_interface) | &screenshotpict(pref_interface) | ||
| + | |||
| + | &toc_title_page_sections | ||
| ===== Interface ===== | ===== Interface ===== | ||