| Sun, 11 Mar 2012 14:09:01 +0100 |
wenzelm |
more direct Name_Space.defined_entry;
|
file |
diff |
annotate
|
| Mon, 28 Nov 2011 22:05:32 +0100 |
wenzelm |
separate module for concrete Isabelle markup;
|
file |
diff |
annotate
|
| Tue, 08 Nov 2011 21:09:35 +0100 |
wenzelm |
entity markup for bound variables;
|
file |
diff |
annotate
|
| Mon, 27 Jun 2011 16:53:31 +0200 |
wenzelm |
ML antiquotations are managed as theory data, with proper name space and entity markup;
|
file |
diff |
annotate
|
| Tue, 03 May 2011 22:27:32 +0200 |
wenzelm |
more conventional naming scheme: names_long, names_short, names_unique;
|
file |
diff |
annotate
|
| Wed, 27 Apr 2011 20:37:56 +0200 |
wenzelm |
more informative markup for fixed variables (via name space entry);
|
file |
diff |
annotate
|
| Wed, 27 Apr 2011 17:44:06 +0200 |
wenzelm |
export Name_Space.entry_ord;
|
file |
diff |
annotate
|
| Sat, 23 Apr 2011 17:02:12 +0200 |
wenzelm |
added Name_Space.check/get convenience;
|
file |
diff |
annotate
|
| Sun, 17 Apr 2011 21:04:22 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Sun, 17 Apr 2011 19:54:04 +0200 |
wenzelm |
report Name_Space.declare/define, relatively to context;
|
file |
diff |
annotate
|
| Sat, 16 Apr 2011 13:48:45 +0200 |
wenzelm |
Name_Space: proper configuration options long_names, short_names, unique_names instead of former unsynchronized references;
|
file |
diff |
annotate
|
| Mon, 11 Apr 2011 17:11:03 +0200 |
wenzelm |
Name_Space.entry_markup: keep def position as separate properties;
|
file |
diff |
annotate
|
| Sun, 27 Mar 2011 20:55:01 +0200 |
wenzelm |
decode_term: some context-sensitive markup;
|
file |
diff |
annotate
|
| Fri, 17 Dec 2010 22:23:56 +0100 |
wenzelm |
extra checking of name bindings for classes, types, consts;
|
file |
diff |
annotate
|
| Tue, 09 Mar 2010 23:27:35 +0100 |
wenzelm |
added Name_Space.alias -- additional accesses for an existing entry;
|
file |
diff |
annotate
|
| Wed, 03 Mar 2010 00:33:33 +0100 |
wenzelm |
removed unused external_names;
|
file |
diff |
annotate
|
| Thu, 18 Feb 2010 20:46:46 +0100 |
wenzelm |
more systematic treatment of qualified names derived from binding;
|
file |
diff |
annotate
|
| Tue, 17 Nov 2009 14:50:55 +0100 |
wenzelm |
uniform new_group/reset_group;
|
file |
diff |
annotate
|
| Wed, 28 Oct 2009 17:36:34 +0100 |
wenzelm |
let naming transform binding beforehand -- covering only the "conceal" flag for now;
|
file |
diff |
annotate
|
| Sun, 25 Oct 2009 19:14:46 +0100 |
wenzelm |
Name_Space.naming: maintain group and theory_name as well;
|
file |
diff |
annotate
|
| Sun, 25 Oct 2009 12:27:21 +0100 |
wenzelm |
allow name space entries to be "concealed" -- via binding/naming/local_theory;
|
file |
diff |
annotate
|
| Sat, 24 Oct 2009 21:30:33 +0200 |
wenzelm |
maintain position of formal entities via name space;
|
file |
diff |
annotate
|
| Sat, 24 Oct 2009 20:54:08 +0200 |
wenzelm |
maintain explicit name space kind;
|
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
|
| Sat, 24 Oct 2009 19:04:57 +0200 |
wenzelm |
maintain abstract entry, with position, identity etc.;
|
file |
diff |
annotate
|
| Wed, 21 Oct 2009 12:09:37 +0200 |
haftmann |
curried inter as canonical list operation (beware of argument order)
|
file |
diff |
annotate
|
| Wed, 21 Oct 2009 08:14:38 +0200 |
haftmann |
dropped redundant gen_ prefix
|
file |
diff |
annotate
|
| Tue, 20 Oct 2009 16:13:01 +0200 |
haftmann |
replaced old_style infixes eq_set, subset, union, inter and variants by generic versions
|
file |
diff |
annotate
|
| Tue, 29 Sep 2009 11:49:22 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Sat, 14 Mar 2009 00:13:50 +0100 |
wenzelm |
removed obsolete no_base_names naming policy;
|
file |
diff |
annotate
|