| Wed, 11 Oct 2006 22:55:15 +0200 |
wenzelm |
removed 'undo_end', recovered 'cannot_undo';
|
changeset |
files
|
| Wed, 11 Oct 2006 22:55:14 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 11 Oct 2006 20:35:54 +0200 |
haftmann |
minor refinements in serialization
|
changeset |
files
|
| Wed, 11 Oct 2006 14:51:41 +0200 |
haftmann |
adapted to signature change
|
changeset |
files
|
| Wed, 11 Oct 2006 14:51:25 +0200 |
haftmann |
slight type signature changes
|
changeset |
files
|
| Wed, 11 Oct 2006 14:51:24 +0200 |
haftmann |
cleaned up HOL bootstrap
|
changeset |
files
|
| Wed, 11 Oct 2006 10:49:36 +0200 |
haftmann |
abandoned findrep
|
changeset |
files
|
| Wed, 11 Oct 2006 10:49:29 +0200 |
haftmann |
added code generator setup
|
changeset |
files
|
| Wed, 11 Oct 2006 10:49:28 +0200 |
haftmann |
added code lemma
|
changeset |
files
|
| Wed, 11 Oct 2006 10:17:42 +0200 |
paulson |
Abstraction re-use code now checks that the abstraction function can be used in the current
|
changeset |
files
|
| Wed, 11 Oct 2006 09:33:18 +0200 |
haftmann |
added examples for nested let
|
changeset |
files
|
| Wed, 11 Oct 2006 08:57:47 +0200 |
haftmann |
added tex files to CVS
|
changeset |
files
|
| Wed, 11 Oct 2006 00:32:02 +0200 |
wenzelm |
renamed body_context_node to presentation_context;
|
changeset |
files
|
| Wed, 11 Oct 2006 00:31:38 +0200 |
wenzelm |
add_locale(_i): return actual result context;
|
changeset |
files
|