Wed, 03 Dec 2008 09:53:58 +0100 |
haftmann |
fixed typo
|
file |
diff |
annotate
|
Wed, 03 Dec 2008 09:51:35 +0100 |
haftmann |
unfold_locales is default method - no need for explicit references
|
file |
diff |
annotate
|
Fri, 10 Oct 2008 16:02:15 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Fri, 10 Oct 2008 15:52:45 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Thu, 09 Oct 2008 18:16:07 +0200 |
haftmann |
tuned
|
file |
diff |
annotate
|
Tue, 08 Jul 2008 22:25:12 +0200 |
huffman |
fix more typos
|
file |
diff |
annotate
|
Tue, 08 Jul 2008 22:07:39 +0200 |
huffman |
fix another typo
|
file |
diff |
annotate
|
Tue, 08 Jul 2008 22:02:15 +0200 |
huffman |
fix typo
|
file |
diff |
annotate
|
Fri, 13 Jun 2008 20:57:26 +0200 |
wenzelm |
back to CodeTarget.code_width;
|
file |
diff |
annotate
|
Tue, 03 Jun 2008 13:17:11 +0200 |
wenzelm |
CodeTarget.target_code_width;
|
file |
diff |
annotate
|
Fri, 23 May 2008 16:04:59 +0200 |
haftmann |
simplified proof
|
file |
diff |
annotate
|
Wed, 09 Jan 2008 08:33:01 +0100 |
haftmann |
some more primrec
|
file |
diff |
annotate
|
Wed, 09 Jan 2008 08:04:03 +0100 |
haftmann |
a note on syntax
|
file |
diff |
annotate
|
Wed, 05 Dec 2007 14:15:39 +0100 |
haftmann |
added something about instantiation target
|
file |
diff |
annotate
|
Sat, 10 Nov 2007 14:31:18 +0100 |
wenzelm |
replaced @{const} (allows name only) by proper @{term};
|
file |
diff |
annotate
|
Wed, 31 Oct 2007 10:10:50 +0100 |
haftmann |
tuned
|
file |
diff |
annotate
|
Fri, 26 Oct 2007 15:42:23 +0200 |
haftmann |
adjusted
|
file |
diff |
annotate
|
Fri, 12 Oct 2007 08:20:43 +0200 |
haftmann |
added subclass command
|
file |
diff |
annotate
|
Tue, 18 Sep 2007 10:44:02 +0200 |
haftmann |
updated
|
file |
diff |
annotate
|
Mon, 20 Aug 2007 18:07:49 +0200 |
haftmann |
renamed code_gen to export_code
|
file |
diff |
annotate
|
Tue, 24 Jul 2007 15:21:54 +0200 |
haftmann |
updated
|
file |
diff |
annotate
|
Sun, 06 May 2007 21:50:17 +0200 |
haftmann |
changed code generator invocation syntax
|
file |
diff |
annotate
|
Fri, 30 Mar 2007 16:18:59 +0200 |
haftmann |
updated
|
file |
diff |
annotate
|
Tue, 20 Mar 2007 10:23:31 +0100 |
haftmann |
updated code generation sections
|
file |
diff |
annotate
|
Tue, 20 Mar 2007 08:27:15 +0100 |
haftmann |
explizit "type" superclass
|
file |
diff |
annotate
|
Fri, 23 Feb 2007 08:39:20 +0100 |
haftmann |
continued
|
file |
diff |
annotate
|
Wed, 14 Feb 2007 10:06:13 +0100 |
haftmann |
continued class tutorial
|
file |
diff |
annotate
|
Tue, 10 Oct 2006 11:38:43 +0200 |
haftmann |
initial draft
|
file |
diff |
annotate
|