Sun, 08 Nov 2009 18:43:42 +0100 |
wenzelm |
adapted Theory_Data;
|
file |
diff |
annotate
|
Sun, 08 Nov 2009 16:30:41 +0100 |
wenzelm |
adapted Generic_Data, Proof_Data;
|
file |
diff |
annotate
|
Sun, 25 Oct 2009 21:35:46 +0100 |
wenzelm |
eliminated obsolete tags for types/consts -- now handled via name space, in strongly typed fashion;
|
file |
diff |
annotate
|
Sat, 17 Oct 2009 16:58:03 +0200 |
wenzelm |
operations of structure Skip_Proof (formerly SkipProof) no longer require quick_and_dirty mode;
|
file |
diff |
annotate
|
Sat, 17 Oct 2009 15:57:51 +0200 |
wenzelm |
indicate CRITICAL nature of various setmp combinators;
|
file |
diff |
annotate
|
Thu, 01 Oct 2009 17:11:48 +0200 |
haftmann |
proper merge of interpretation equations
|
file |
diff |
annotate
|
Thu, 01 Oct 2009 07:40:25 +0200 |
ballarin |
Merged.
|
file |
diff |
annotate
|
Wed, 19 Aug 2009 19:35:46 +0200 |
ballarin |
Improved comments and api names.
|
file |
diff |
annotate
|
Sat, 15 Aug 2009 15:29:54 +0200 |
haftmann |
additional checkpoints avoid problems in error situations
|
file |
diff |
annotate
|
Wed, 15 Jul 2009 18:20:08 +0200 |
haftmann |
simplification of locale interfaces
|
file |
diff |
annotate
|
Fri, 10 Jul 2009 07:59:29 +0200 |
haftmann |
tuned locale interface
|
file |
diff |
annotate
|
Mon, 29 Jun 2009 16:17:57 +0200 |
haftmann |
mutual instances
|
file |
diff |
annotate
|
Wed, 17 Jun 2009 17:42:41 +0200 |
haftmann |
stripped dead comment
|
file |
diff |
annotate
|
Sun, 14 Jun 2009 17:20:19 +0200 |
haftmann |
axclass command now legacy
|
file |
diff |
annotate
|
Tue, 09 Jun 2009 22:59:55 +0200 |
haftmann |
tuned make/map/merge combinators
|
file |
diff |
annotate
|
Sun, 24 May 2009 15:02:22 +0200 |
haftmann |
tuned class user space type system code
|
file |
diff |
annotate
|
Wed, 20 May 2009 15:35:13 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
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
|