1 2016-02-04 Akira Kakuto <kakuto@fuk.kindai.ac.jp>
4 * patch-01-hide-symbols: Adapted.
6 2015-09-26 Peter Breitenlohner <peb@mppmu.mpg.de>
9 * patch-01-hide-symbols: Adapted.
11 2014-12-04 Peter Breitenlohner <peb@mppmu.mpg.de>
13 * patch-01-hide-symbols (new): Allow to hide all symbols.
15 2014-07-07 Peter Breitenlohner <peb@mppmu.mpg.de>
19 2013-11-18 Peter Breitenlohner <peb@mppmu.mpg.de>
23 2013-11-12 Peter Breitenlohner <peb@mppmu.mpg.de>
27 2013-11-11 Peter Breitenlohner <peb@mppmu.mpg.de>
31 2013-08-08 Peter Breitenlohner <peb@mppmu.mpg.de>
35 2013-05-30 Peter Breitenlohner <peb@mppmu.mpg.de>
39 2012-11-10 Taco Hoekwater <taco@metatex.org>