On Mon, 15 Nov 2010, Alexander Krauss wrote:
I remember some offline discussions last year about having an Isabelle
tool that extracts file dependencies from theory sources (probably
starting from some special "session" file, which specifies the "root
theories") and outputs it in a simple text
Dear all,
This mailing list is becoming an important resource for
development-related questions and discussions. To reflect this and make
older discussions more accessible, the list archives are now mirrored at
two public sites, which allow more convenient searching and browsing via
a web int
Hi all,
Two quick updates regarding the Kodkodi upgrade. First, if you follow the
instructions below and the "KODKODI_VERSION" variable isn't set, that means
your Kodkodi is definitely too old. Second, there's an issue on _some_ Macs
(and perhaps elsewhere) that's fixed in Kodkodi 1.2.16:
Dear list, (and Makarius in particular :-) )
I remember some offline discussions last year about having an Isabelle
tool that extracts file dependencies from theory sources (probably
starting from some special "session" file, which specifies the "root
theories") and outputs it in a simple text