isabelle: Changelog

paulson [Wed, 31 Jan 2007 14:03:31 +0100] rev 22217

Tidying; more debugging information. New reference unwanted_types.

aspinall [Tue, 30 Jan 2007 13:17:02 +0100] rev 22216

Tweak preferences for PGIP interfaces. Make <askids> return theory successors instead of parents (ideally should be content elements).

aspinall [Tue, 30 Jan 2007 13:16:58 +0100] rev 22215

Add get_succs

aspinall [Tue, 30 Jan 2007 13:14:41 +0100] rev 22214

Add operations on preference tables (remove, set_default).

haftmann [Tue, 30 Jan 2007 08:21:23 +0100] rev 22213

adjusted to new codegen_funcgr interface

haftmann [Tue, 30 Jan 2007 08:21:22 +0100] rev 22212

added interface for plugging in preprocessors

haftmann [Tue, 30 Jan 2007 08:21:19 +0100] rev 22211

additional auxiliary here

haftmann [Tue, 30 Jan 2007 08:21:18 +0100] rev 22210

whitespace tuning

haftmann [Tue, 30 Jan 2007 08:21:17 +0100] rev 22209

dropped dead code

haftmann [Tue, 30 Jan 2007 08:21:16 +0100] rev 22208

shifted import order

isabelle