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 |
Sun, 09 May 2010 22:51:11 -0700 | huffman | avoid using real-specific versions of generic lemmas | file | diff | annotate |
Sat, 17 Oct 2009 14:43:18 +0200 | wenzelm | eliminated hard tabulators, guessing at each author's individual tab-width; | file | diff | annotate |
Wed, 24 Jun 2009 21:46:54 +0200 | wenzelm | standard naming conventions for session and theories; | file | diff | annotate | base |