| Thu, 26 Aug 2010 15:48:08 +0200 |
wenzelm |
renamed Local_Theory.theory(_result) to Local_Theory.background_theory(_result) to emphasize that this belongs to the infrastructure and is rarely appropriate in user-space tools;
|
file |
diff |
annotate
|
| Fri, 20 Aug 2010 08:52:01 +0200 |
haftmann |
tuned: less formal noise in Named_Target, more coherence in Class
|
file |
diff |
annotate
|
| Thu, 12 Aug 2010 13:53:42 +0200 |
haftmann |
Class.declare -> Class.const
|
file |
diff |
annotate
|
| Thu, 12 Aug 2010 13:42:13 +0200 |
haftmann |
named target is optional; explicit Name_Target.reinit
|
file |
diff |
annotate
|
| Thu, 12 Aug 2010 13:28:18 +0200 |
haftmann |
Named_Target.init: empty string represents theory target
|
file |
diff |
annotate
|
| Thu, 12 Aug 2010 13:23:46 +0200 |
haftmann |
Named_Target.theory_init
|
file |
diff |
annotate
|
| Wed, 11 Aug 2010 17:19:27 +0200 |
haftmann |
remove reinit operation alltogether
|
file |
diff |
annotate
|
| Wed, 11 Aug 2010 16:02:03 +0200 |
haftmann |
more convenient split of class modules: class and class_declaration
|
file |
diff |
annotate
|
| Wed, 11 Aug 2010 15:45:15 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Wed, 11 Aug 2010 14:45:38 +0200 |
haftmann |
renamed Theory_Target to the more appropriate Named_Target
|
file |
diff |
annotate
| base
|