| Wed, 14 Jul 2010 14:53:44 +0200 |
haftmann |
formal slot for code checker
|
changeset |
files
|
| Wed, 14 Jul 2010 14:53:44 +0200 |
haftmann |
export_code without file prints to standard output
|
changeset |
files
|
| Wed, 14 Jul 2010 14:20:47 +0200 |
haftmann |
check without explicit path
|
changeset |
files
|
| Wed, 14 Jul 2010 14:16:12 +0200 |
haftmann |
load cache_io before code generator; moved adhoc-overloading to generic tools
|
changeset |
files
|
| Wed, 14 Jul 2010 12:27:44 +0200 |
haftmann |
tuned infix syntax
|
changeset |
files
|
| Wed, 14 Jul 2010 12:27:44 +0200 |
haftmann |
dropped M suffix; added predicate monad bind
|
changeset |
files
|
| Wed, 14 Jul 2010 12:27:43 +0200 |
haftmann |
self-built symbol for part of bind operator
|
changeset |
files
|
| Wed, 14 Jul 2010 09:42:44 +0200 |
haftmann |
redirect stderr to stdout
|
changeset |
files
|
| Tue, 13 Jul 2010 21:07:12 +0100 |
paulson |
merged
|
changeset |
files
|
| Tue, 13 Jul 2010 11:27:19 +0100 |
paulson |
merged
|
changeset |
files
|
| Tue, 13 Jul 2010 11:26:16 +0100 |
paulson |
corrected mixfix declarations and tidied proofs
|
changeset |
files
|
| Tue, 13 Jul 2010 17:19:35 +0100 |
paulson |
merged
|
changeset |
files
|
| Tue, 13 Jul 2010 17:19:08 +0100 |
paulson |
Fixed syntax and tidied some proofs
|
changeset |
files
|
| Tue, 13 Jul 2010 18:01:42 +0200 |
bulwahn |
correcting function name of generator for products of traditional code generator (introduced in 0040bafffdef)
|
changeset |
files
|
| Tue, 13 Jul 2010 16:30:13 +0200 |
haftmann |
consolidated names of theorems
|
changeset |
files
|