Sun, 11 Mar 2012 13:39:16 +0100 | wenzelm | modernized locale expression, with some fluctuation of arguments; | file | diff | annotate |
Sun, 11 Sep 2011 22:55:26 +0200 | wenzelm | misc tuning and clarification; | file | diff | annotate |
Wed, 24 Jun 2009 21:46:54 +0200 | wenzelm | standard naming conventions for session and theories; | file | diff | annotate | base |