Sun, 13 Apr 2008 16:40:08 +0200 |
wenzelm |
Sorts.class_error: produce message only (formerly msg_class_error);
|
file |
diff |
annotate
|
Wed, 02 Apr 2008 15:58:40 +0200 |
haftmann |
canonical meet_sort operation
|
file |
diff |
annotate
|
Wed, 19 Mar 2008 07:20:35 +0100 |
haftmann |
error tuning
|
file |
diff |
annotate
|
Mon, 10 Dec 2007 11:24:15 +0100 |
haftmann |
moved instance parameter management from class.ML to axclass.ML
|
file |
diff |
annotate
|
Wed, 28 Nov 2007 09:01:42 +0100 |
haftmann |
tuned interfaces of class module
|
file |
diff |
annotate
|
Fri, 19 Oct 2007 19:45:31 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Thu, 11 Oct 2007 16:05:47 +0200 |
wenzelm |
removed obsolete AxClass.params_of_class;
|
file |
diff |
annotate
|
Thu, 04 Oct 2007 19:41:49 +0200 |
haftmann |
clarified relationship of code generator conversions and evaluations
|
file |
diff |
annotate
|
Tue, 25 Sep 2007 17:06:18 +0200 |
wenzelm |
tuned functor application;
|
file |
diff |
annotate
|
Fri, 24 Aug 2007 14:14:20 +0200 |
haftmann |
overloaded definitions accompanied by explicit constants
|
file |
diff |
annotate
|
Wed, 15 Aug 2007 08:57:42 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Fri, 10 Aug 2007 17:04:34 +0200 |
haftmann |
new structure for code generator modules
|
file |
diff |
annotate
|