| Wed, 14 Jul 2010 15:49:29 +0200 |
haftmann |
added Isar syntax for code checking
|
changeset |
files
|
| Wed, 14 Jul 2010 15:49:29 +0200 |
haftmann |
corrected import
|
changeset |
files
|
| Wed, 14 Jul 2010 15:08:02 +0200 |
haftmann |
use generic description slot for formal code checking
|
changeset |
files
|
| 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
|