Tue, 08 Jun 2010 16:37:22 +0200 |
haftmann |
tuned quotes, antiquotations and whitespace
|
file |
diff |
annotate
|
Tue, 25 May 2010 20:28:16 +0200 |
wenzelm |
eliminated various catch-all exception patterns, guessing at the concrete exeptions that are intended here;
|
file |
diff |
annotate
|
Sat, 15 May 2010 21:50:05 +0200 |
wenzelm |
less pervasive names from structure Thm;
|
file |
diff |
annotate
|
Tue, 11 May 2010 19:00:16 +0200 |
haftmann |
represent de-Bruin indices simply by position in list
|
file |
diff |
annotate
|
Tue, 11 May 2010 18:46:03 +0200 |
haftmann |
tuned reification functions
|
file |
diff |
annotate
|
Tue, 11 May 2010 18:31:36 +0200 |
haftmann |
tuned code; toward a tightended interface with generated code
|
file |
diff |
annotate
|
Mon, 10 May 2010 15:33:32 +0200 |
haftmann |
tuned; dropped strange myassoc2
|
file |
diff |
annotate
|
Mon, 10 May 2010 15:24:43 +0200 |
haftmann |
stylized COOPER exception
|
file |
diff |
annotate
|
Mon, 10 May 2010 15:21:13 +0200 |
haftmann |
simplified oracle
|
file |
diff |
annotate
|
Mon, 10 May 2010 15:00:53 +0200 |
haftmann |
shorten names
|
file |
diff |
annotate
|
Mon, 10 May 2010 14:55:06 +0200 |
haftmann |
only one module fpr presburger method
|
file |
diff |
annotate
|
Mon, 10 May 2010 14:11:50 +0200 |
haftmann |
one structure is better than three
|
file |
diff |
annotate
|
Mon, 10 May 2010 13:58:18 +0200 |
haftmann |
less complex organization of cooper source code
|
file |
diff |
annotate
|
Mon, 10 May 2010 12:25:49 +0200 |
haftmann |
dropped unused bindings; avoid open (documents dependency on generated code more explicitly)
|
file |
diff |
annotate
|
Thu, 06 May 2010 19:27:51 +0200 |
haftmann |
merged
|
file |
diff |
annotate
|