| Sun, 25 Oct 2009 12:27:21 +0100 |
wenzelm |
allow name space entries to be "concealed" -- via binding/naming/local_theory;
|
file |
diff |
annotate
|
| Wed, 16 Sep 2009 21:14:08 +0200 |
wenzelm |
replaced opaque signature matching by plain old abstype (again, cf. ac4498f95d1c) -- this recovers pretty printing in SML/NJ and Poly/ML 5.3;
|
file |
diff |
annotate
|
| Mon, 30 Mar 2009 19:51:10 +0200 |
wenzelm |
qualified_name_of: observe empty case;
|
file |
diff |
annotate
|
| Thu, 12 Mar 2009 11:07:22 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 10 Mar 2009 16:44:20 +0100 |
wenzelm |
added qualified_name_of;
|
file |
diff |
annotate
|
| Sun, 08 Mar 2009 17:03:07 +0100 |
wenzelm |
added qualified_name -- emulates old-style qualified bstring;
|
file |
diff |
annotate
|
| Sat, 07 Mar 2009 21:18:37 +0100 |
wenzelm |
added prefix_name, suffix_name;
|
file |
diff |
annotate
|
| Sat, 07 Mar 2009 11:32:31 +0100 |
wenzelm |
Binding.str_of: removed verbose feature, include qualifier in output;
|
file |
diff |
annotate
|
| Thu, 05 Mar 2009 10:52:07 +0100 |
wenzelm |
added prefix_of;
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 11:05:29 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Wed, 04 Mar 2009 10:45:52 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
| Tue, 03 Mar 2009 21:49:34 +0100 |
wenzelm |
tuned str_of, now subject to verbose flag;
|
file |
diff |
annotate
|
| Tue, 03 Mar 2009 18:31:59 +0100 |
wenzelm |
moved type bstring from name_space.ML to binding.ML -- it is the primitive concept behind bindings;
|
file |
diff |
annotate
|
| Tue, 03 Mar 2009 15:09:07 +0100 |
wenzelm |
renamed Binding.display to Binding.str_of, which is slightly more canonical;
|
file |
diff |
annotate
|
| Tue, 03 Mar 2009 14:52:13 +0100 |
wenzelm |
moved name space externalization flags back to name_space.ML;
|
file |
diff |
annotate
|
| Thu, 22 Jan 2009 11:23:15 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 16:47:32 +0100 |
haftmann |
binding is alias for Binding.T
|
file |
diff |
annotate
|
| Sat, 03 Jan 2009 08:39:18 +0100 |
haftmann |
separator, is_qualified
|
file |
diff |
annotate
|
| Wed, 10 Dec 2008 17:19:25 +0100 |
ballarin |
Use prefix component of bindings for locale prefixes.
|
file |
diff |
annotate
|
| Fri, 05 Dec 2008 18:43:42 +0100 |
haftmann |
Name.name_of -> Binding.base_name
|
file |
diff |
annotate
|
| Thu, 04 Dec 2008 14:43:33 +0100 |
haftmann |
cleaned up binding module and related code
|
file |
diff |
annotate
|
| Mon, 01 Dec 2008 19:41:16 +0100 |
haftmann |
new Binding module
|
file |
diff |
annotate
|