| Tue, 15 Jul 2008 16:02:07 +0200 |
haftmann |
tuned code theorem bookkeeping
|
file |
diff |
annotate
|
| Fri, 11 Jul 2008 09:02:32 +0200 |
haftmann |
tuned thyname lookup
|
file |
diff |
annotate
|
| Thu, 26 Jun 2008 10:06:51 +0200 |
haftmann |
class theory name lookup improved
|
file |
diff |
annotate
|
| Fri, 20 Jun 2008 21:00:27 +0200 |
haftmann |
using tages to find theory names
|
file |
diff |
annotate
|
| Tue, 10 Jun 2008 15:30:06 +0200 |
haftmann |
major refactorings in code generator modules
|
file |
diff |
annotate
|
| Mon, 28 Jan 2008 22:27:19 +0100 |
wenzelm |
added ::: / @@@ scanner combinators;
|
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
|
| Thu, 08 Nov 2007 13:21:15 +0100 |
haftmann |
added purify_sym
|
file |
diff |
annotate
|
| Tue, 06 Nov 2007 13:12:56 +0100 |
haftmann |
clarifying comment
|
file |
diff |
annotate
|
| Mon, 08 Oct 2007 22:03:28 +0200 |
haftmann |
simplified evaluation
|
file |
diff |
annotate
|
| Thu, 04 Oct 2007 19:41:54 +0200 |
haftmann |
clarified name suffix
|
file |
diff |
annotate
|
| Tue, 02 Oct 2007 07:59:55 +0200 |
haftmann |
clarified role of class relations
|
file |
diff |
annotate
|
| Fri, 24 Aug 2007 14:14:20 +0200 |
haftmann |
overloaded definitions accompanied by explicit constants
|
file |
diff |
annotate
|
| Fri, 10 Aug 2007 17:04:34 +0200 |
haftmann |
new structure for code generator modules
|
file |
diff |
annotate
|