| Thu, 05 Mar 2009 12:08:00 +0100 |
wenzelm |
renamed NameSpace.base to NameSpace.base_name;
|
file |
diff |
annotate
|
| Thu, 05 Mar 2009 10:53:49 +0100 |
wenzelm |
adapted Binding.dest;
|
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:53:52 +0100 |
wenzelm |
eliminated internal stamp equality, replaced by bare-metal pointer_eq;
|
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 14:53:29 +0100 |
wenzelm |
moved name space externalization flags back to name_space.ML;
|
file |
diff |
annotate
|
| Tue, 03 Mar 2009 14:16:05 +0100 |
wenzelm |
reverted change introduced in a7c164e228e1 -- there cannot be a "bug" in a perfectly normal operation on the internal data representation that merely escaped into public by accident (cf. 0a981c596372);
|
file |
diff |
annotate
|
| Mon, 09 Feb 2009 17:25:07 +1100 |
Timothy Bourke |
Nicer names in FindTheorems.
|
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
|
| Fri, 05 Dec 2008 18:42:37 +0100 |
haftmann |
removed Table.extend, NameSpace.extend_table
|
file |
diff |
annotate
|
| Fri, 05 Dec 2008 08:04:53 +0100 |
haftmann |
dropped NameSpace.declare_base
|
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
|
| Mon, 01 Dec 2008 12:17:01 +0100 |
haftmann |
exported get_accesses (for diagnostic purpose)
|
file |
diff |
annotate
|
| Thu, 20 Nov 2008 14:51:40 +0100 |
haftmann |
name spaces and name bindings
|
file |
diff |
annotate
|
| Fri, 13 Jun 2008 21:04:43 +0200 |
wenzelm |
hide: delete all accesses from extra names -- reduces ambiguity in extern;
|
file |
diff |
annotate
|
| Tue, 15 Apr 2008 16:12:16 +0200 |
wenzelm |
merge: canonical order;
|
file |
diff |
annotate
|
| Thu, 27 Mar 2008 17:35:57 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Mon, 29 Oct 2007 16:13:44 +0100 |
wenzelm |
export is_hidden;
|
file |
diff |
annotate
|
| Wed, 17 Oct 2007 23:16:33 +0200 |
wenzelm |
store external accesses within name space (as produced by naming policy);
|
file |
diff |
annotate
|
| Mon, 20 Aug 2007 20:44:01 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Mon, 09 Jul 2007 22:40:57 +0200 |
wenzelm |
declare: disallow quote (") in names;
|
file |
diff |
annotate
|
| Thu, 24 May 2007 08:37:37 +0200 |
haftmann |
tuned Pure/General/name_space.ML
|
file |
diff |
annotate
|
| Wed, 10 Jan 2007 20:17:26 +0100 |
wenzelm |
removed NameSpace.split -- use qualifier/base instead;
|
file |
diff |
annotate
|
| Sat, 30 Dec 2006 16:08:00 +0100 |
wenzelm |
removed conditional combinator;
|
file |
diff |
annotate
|
| Wed, 27 Dec 2006 19:10:05 +0100 |
haftmann |
added split
|
file |
diff |
annotate
|
| Fri, 15 Dec 2006 00:08:06 +0100 |
wenzelm |
avoid conflict with Alice keywords: renamed pack -> implode, unpack -> explode, any -> many, avoided assert;
|
file |
diff |
annotate
|
| Wed, 13 Sep 2006 21:41:25 +0200 |
wenzelm |
renamed NameSpace.drop_base to NameSpace.qualifier;
|
file |
diff |
annotate
|