| Sat, 28 Apr 2012 16:44:32 +0200 | wenzelm | some manual updates; | file | diff | annotate |
| Sun, 22 Apr 2012 22:02:52 +0200 | wenzelm | updated generated files; | file | diff | annotate |
| Sun, 22 Apr 2012 14:30:18 +0200 | wenzelm | USER_HOME settings variable points to cross-platform user home directory; | file | diff | annotate |
| Wed, 21 Sep 2011 22:18:17 +0200 | wenzelm | alternative Socket_Channel; | file | diff | annotate |
| Mon, 27 Jun 2011 22:20:49 +0200 | wenzelm | document antiquotations are managed as theory data, with proper name space and entity markup; | file | diff | annotate |
| Sun, 13 Mar 2011 20:56:00 +0100 | wenzelm | files are identified via SHA1 digests -- discontinued ISABELLE_FILE_IDENT; | file | diff | annotate |
| Tue, 11 Jan 2011 20:01:57 +0100 | wenzelm | updated to Isabelle2011; | file | diff | annotate |