| Thu, 29 Apr 2010 15:00:43 +0200 |
haftmann |
repaired subtle misunderstanding: statement names are only passed for name resolution
|
file |
diff |
annotate
|
| Wed, 28 Apr 2010 15:17:13 +0200 |
haftmann |
exported cert_tyco, read_tyco
|
file |
diff |
annotate
|
| Wed, 21 Apr 2010 15:20:57 +0200 |
haftmann |
optionally ignore errors during translation of equations
|
file |
diff |
annotate
|
| Tue, 13 Apr 2010 11:13:52 +0200 |
haftmann |
dropped dead code
|
file |
diff |
annotate
|
| Mon, 04 Jan 2010 14:09:58 +0100 |
haftmann |
modernized
|
file |
diff |
annotate
|
| Wed, 23 Dec 2009 08:31:15 +0100 |
haftmann |
reduced code generator cache to the baremost minimum
|
file |
diff |
annotate
|
| Mon, 21 Dec 2009 08:32:04 +0100 |
haftmann |
clarified various user-defined syntax issues
|
file |
diff |
annotate
|
| Mon, 14 Dec 2009 10:13:06 +0100 |
haftmann |
made sml/nj happy
|
file |
diff |
annotate
|
| Fri, 11 Dec 2009 20:32:49 +0100 |
haftmann |
default_code_width is now proper theory data
|
file |
diff |
annotate
|
| Mon, 07 Dec 2009 11:48:40 +0100 |
haftmann |
tuned inner structure
|
file |
diff |
annotate
|
| Mon, 30 Nov 2009 12:28:12 +0100 |
haftmann |
dropped some unused bindings
|
file |
diff |
annotate
|
| Sun, 08 Nov 2009 18:43:42 +0100 |
wenzelm |
adapted Theory_Data;
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 15:57:51 +0200 |
wenzelm |
indicate CRITICAL nature of various setmp combinators;
|
file |
diff |
annotate
|
| Thu, 08 Oct 2009 15:59:16 +0200 |
haftmann |
moved labelled_name to code_thingol
|
file |
diff |
annotate
|
| Tue, 29 Sep 2009 16:24:36 +0200 |
wenzelm |
explicit indication of Unsynchronized.ref;
|
file |
diff |
annotate
|
| Tue, 07 Jul 2009 17:21:27 +0200 |
haftmann |
tuned interface of structure Code
|
file |
diff |
annotate
|
| Tue, 23 Jun 2009 12:09:30 +0200 |
haftmann |
uniformly capitialized names for subdirectories
|
file |
diff |
annotate
| base
|