src/Pure/General/binding.ML
Wed, 10 Dec 2008 17:19:25 +0100 ballarin Use prefix component of bindings for locale prefixes.
Fri, 05 Dec 2008 18:43:42 +0100 haftmann Name.name_of -> Binding.base_name
Thu, 04 Dec 2008 14:43:33 +0100 haftmann cleaned up binding module and related code
Mon, 01 Dec 2008 19:41:16 +0100 haftmann new Binding module
less more (0) tip