Mon, 10 Nov 2008 08:18:57 +0100 |
haftmann |
explicit interpretation prefix in Name.binding
|
file |
diff |
annotate
|
Wed, 03 Sep 2008 11:44:52 +0200 |
wenzelm |
added qualified: string -> binding -> binding;
|
file |
diff |
annotate
|
Tue, 02 Sep 2008 14:10:24 +0200 |
wenzelm |
added type binding -- generic name bindings;
|
file |
diff |
annotate
|
Thu, 04 Oct 2007 20:29:33 +0200 |
wenzelm |
added uu, aT;
|
file |
diff |
annotate
|
Tue, 28 Nov 2006 00:35:18 +0100 |
wenzelm |
simplified '?' operator;
|
file |
diff |
annotate
|
Tue, 25 Jul 2006 21:18:05 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Tue, 25 Jul 2006 16:51:26 +0200 |
haftmann |
renamed Name.give_names to Name.names and moved Name.alphanum to Symbol.alphanum
|
file |
diff |
annotate
|
Fri, 21 Jul 2006 14:45:25 +0200 |
haftmann |
added give_names and alphanum
|
file |
diff |
annotate
|
Wed, 19 Jul 2006 12:12:01 +0200 |
wenzelm |
export make_context, is_declared;
|
file |
diff |
annotate
|
Thu, 13 Jul 2006 13:41:57 +0200 |
wenzelm |
do not export make_context;
|
file |
diff |
annotate
|
Wed, 12 Jul 2006 00:34:54 +0200 |
wenzelm |
variants: special treatment of empty name;
|
file |
diff |
annotate
|
Tue, 11 Jul 2006 23:00:36 +0200 |
wenzelm |
clean: no special treatment of empty name;
|
file |
diff |
annotate
|
Tue, 11 Jul 2006 12:17:17 +0200 |
wenzelm |
Names of basic logical entities (variables etc.).
|
file |
diff |
annotate
|