Tue, 27 Jan 2009 12:59:22 +0100 | wenzelm | added share_common_data -- reduces heap space, but takes long; | file | diff | annotate |
Sun, 11 Jan 2009 17:34:02 +0100 | wenzelm | load main entry points sequentially, for reduced memory demands; | file | diff | annotate |
Fri, 02 Jan 2009 00:21:59 +0100 | wenzelm | tuned header and description of boot files; | file | diff | annotate |
Fri, 19 Dec 2008 16:39:23 +0100 | ballarin | All logics ported to new locales. | file | diff | annotate |
Sun, 14 Dec 2008 18:45:51 +0100 | ballarin | Ported HOL and HOL-Library to new locales. | file | diff | annotate |
Fri, 05 Dec 2008 18:42:39 +0100 | haftmann | corrected theory path | file | diff | annotate |
Wed, 03 Dec 2008 15:58:44 +0100 | haftmann | made repository layout more coherent with logical distribution structure; stripped some $Id$s | file | diff | annotate |