| Sun, 18 Aug 2013 20:41:47 +0200 | wenzelm | more static simpsets, which also avoids spurious warnings due to duplicate rules provided here; | changeset | files |
| Sun, 18 Aug 2013 19:59:19 +0200 | wenzelm | more symbols; | changeset | files |
| Sun, 18 Aug 2013 18:49:45 +0200 | wenzelm | more symbols; | changeset | files |