| Sun, 18 May 2008 15:04:09 +0200 |
wenzelm |
moved global pretty/string_of functions from Sign to Syntax;
|
file |
diff |
annotate
|
| Tue, 29 Jan 2008 10:20:00 +0100 |
haftmann |
cleaned up evaluation interfaces
|
file |
diff |
annotate
|
| Fri, 25 Jan 2008 14:54:49 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Thu, 13 Dec 2007 07:09:09 +0100 |
haftmann |
heutistics for type annotations in Haskell
|
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
|
| Mon, 15 Oct 2007 21:08:36 +0200 |
wenzelm |
renamed Consts.the_declaration to Consts.the_type;
|
file |
diff |
annotate
|
| Thu, 11 Oct 2007 16:05:47 +0200 |
wenzelm |
removed obsolete AxClass.params_of_class;
|
file |
diff |
annotate
|
| Mon, 08 Oct 2007 22:03:31 +0200 |
haftmann |
moved translation kernel to CodeThingol
|
file |
diff |
annotate
|
| Thu, 04 Oct 2007 19:41:51 +0200 |
haftmann |
clarified terminology
|
file |
diff |
annotate
|
| Tue, 02 Oct 2007 07:59:55 +0200 |
haftmann |
clarified role of class relations
|
file |
diff |
annotate
|
| Thu, 20 Sep 2007 16:37:34 +0200 |
haftmann |
more precise treatment of free dictionary parameters for evaluation
|
file |
diff |
annotate
|
| Sat, 15 Sep 2007 19:27:50 +0200 |
haftmann |
added explicit theorems
|
file |
diff |
annotate
|
| Tue, 21 Aug 2007 13:30:38 +0200 |
haftmann |
improved evaluation interface
|
file |
diff |
annotate
|
| Wed, 15 Aug 2007 08:57:42 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
| Mon, 13 Aug 2007 21:22:41 +0200 |
haftmann |
simplified
|
file |
diff |
annotate
|
| Fri, 10 Aug 2007 17:04:34 +0200 |
haftmann |
new structure for code generator modules
|
file |
diff |
annotate
|