| Mon, 08 Oct 2018 17:12:28 +0200 |
Lars Hupel |
Jenkins: run ocaml_setup
|
file |
diff |
annotate
|
| Thu, 01 May 2014 09:30:36 +0200 |
haftmann |
centralized upper/lowercase name mangling
|
file |
diff |
annotate
|
| Thu, 01 May 2014 09:30:35 +0200 |
haftmann |
optional case enforcement
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 10:53:14 +0100 |
wenzelm |
clarified check of internal names;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2014 10:12:47 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Wed, 06 Jul 2011 20:14:13 +0200 |
wenzelm |
tuned errors;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 20:22:22 +0200 |
wenzelm |
tuned signature: Name.invent and Name.invent_names;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 17:51:49 +0200 |
wenzelm |
simplified Name.variant -- discontinued builtin fold_map;
|
file |
diff |
annotate
|
| Thu, 09 Jun 2011 16:34:49 +0200 |
wenzelm |
discontinued Name.variant to emphasize that this is old-style / indirect;
|
file |
diff |
annotate
|
| Sat, 16 Apr 2011 12:46:18 +0200 |
wenzelm |
tuned signature, disentangled dependencies;
|
file |
diff |
annotate
|
| Sat, 20 Nov 2010 00:53:26 +0100 |
wenzelm |
renamed raw "explode" function to "raw_explode" to emphasize its meaning;
|
file |
diff |
annotate
|
| Fri, 08 Jan 2010 14:34:18 +0100 |
haftmann |
single quote is not a valid letter any more
|
file |
diff |
annotate
|
| Tue, 10 Nov 2009 13:45:11 +0100 |
wenzelm |
desymbolize: use Symbol.decode directly;
|
file |
diff |
annotate
|
| Sat, 24 Oct 2009 19:47:37 +0200 |
wenzelm |
renamed NameSpace to Name_Space -- also to emphasize its subtle change in semantics;
|
file |
diff |
annotate
|
| Mon, 04 May 2009 14:49:50 +0200 |
haftmann |
desymbolization with case selection
|
file |
diff |
annotate
|
| Tue, 28 Apr 2009 18:42:26 +0200 |
haftmann |
Symbol.name_of and Name.desymbolize
|
file |
diff |
annotate
|
| Thu, 19 Mar 2009 13:26:19 +0100 |
wenzelm |
Name.of_binding: proper full_name (with checks) before projecting base name;
|
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
|
| Thu, 20 Nov 2008 19:06:02 +0100 |
haftmann |
dropped legacy naming code
|
file |
diff |
annotate
|
| Thu, 20 Nov 2008 14:51:40 +0100 |
haftmann |
name spaces and name bindings
|
file |
diff |
annotate
|
| Mon, 17 Nov 2008 17:00:26 +0100 |
haftmann |
Name.name_with_prefix (temporarily)
|
file |
diff |
annotate
|
| Fri, 14 Nov 2008 08:50:10 +0100 |
haftmann |
namify and name_decl combinators
|
file |
diff |
annotate
|
| Thu, 13 Nov 2008 14:19:07 +0100 |
haftmann |
diagnostic output for name bindings
|
file |
diff |
annotate
|
| 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
|