Wed, 20 May 2009 12:09:07 +0200 |
haftmann |
avoid potential problem with stale theory
|
file |
diff |
annotate
|
Tue, 28 Apr 2009 13:34:48 +0200 |
haftmann |
prevent potential failure
|
file |
diff |
annotate
|
Sat, 28 Mar 2009 20:25:23 +0100 |
wenzelm |
simplified Locale.activate operations, using generic context;
|
file |
diff |
annotate
|
Fri, 13 Mar 2009 23:56:07 +0100 |
wenzelm |
merged
|
file |
diff |
annotate
|
Fri, 13 Mar 2009 19:17:58 +0100 |
haftmann |
coherent binding policy with primitive target operations
|
file |
diff |
annotate
|
Fri, 13 Mar 2009 23:50:05 +0100 |
wenzelm |
simplified method setup;
|
file |
diff |
annotate
|
Fri, 13 Mar 2009 19:58:26 +0100 |
wenzelm |
unified type Proof.method and pervasive METHOD combinators;
|
file |
diff |
annotate
|
Sun, 08 Mar 2009 17:26:14 +0100 |
wenzelm |
moved basic algebra of long names from structure NameSpace to Long_Name;
|
file |
diff |
annotate
|
Sat, 07 Mar 2009 22:16:50 +0100 |
wenzelm |
more uniform handling of binding in targets and derived elements;
|
file |
diff |
annotate
|
Thu, 05 Mar 2009 12:08:00 +0100 |
wenzelm |
renamed NameSpace.base to NameSpace.base_name;
|
file |
diff |
annotate
|
Wed, 18 Feb 2009 19:18:32 +0100 |
haftmann |
more precise improvement in instantiation user space type system
|
file |
diff |
annotate
|
Mon, 26 Jan 2009 22:14:19 +0100 |
haftmann |
fixed reading of class specs: declare class operations in context
|
file |
diff |
annotate
|
Wed, 21 Jan 2009 23:40:23 +0100 |
haftmann |
allow empty class specs
|
file |
diff |
annotate
|
Wed, 21 Jan 2009 16:47:03 +0100 |
haftmann |
code cleanup
|
file |
diff |
annotate
|
Mon, 19 Jan 2009 08:16:42 +0100 |
haftmann |
improved tackling of subclasses
|
file |
diff |
annotate
|
Sat, 17 Jan 2009 22:07:29 +0100 |
haftmann |
tuned signature
|
file |
diff |
annotate
|
Sat, 17 Jan 2009 08:29:54 +0100 |
haftmann |
code cleanup
|
file |
diff |
annotate
|
Fri, 16 Jan 2009 14:58:11 +0100 |
haftmann |
migrated class package to new locale implementation
|
file |
diff |
annotate
|
Sun, 11 Jan 2009 14:18:16 +0100 |
haftmann |
construct explicit class morphism
|
file |
diff |
annotate
|
Tue, 06 Jan 2009 08:50:02 +0100 |
haftmann |
locale -> old_locale, new_locale -> locale
|
file |
diff |
annotate
|
Mon, 05 Jan 2009 15:55:04 +0100 |
haftmann |
locale -> old_locale, new_locale -> locale
|
file |
diff |
annotate
|
Mon, 05 Jan 2009 15:36:24 +0100 |
haftmann |
rearranged target theories
|
file |
diff |
annotate
| base
|