| Sat, 16 Aug 2014 13:23:50 +0200 | wenzelm | modernized module name and setup; | changeset | files |
| Sat, 16 Aug 2014 12:15:56 +0200 | wenzelm | updated syntax for localized commands; | changeset | files |
| Sat, 16 Aug 2014 12:10:36 +0200 | wenzelm | updated documentation concerning 'named_theorems'; | changeset | files |