Mon, 27 Oct 2008 16:23:54 +0100 |
ballarin |
New-style locale expressions with instantiation (new file expression.ML).
|
changeset |
files
|
Mon, 27 Oct 2008 16:20:52 +0100 |
ballarin |
Hide path in constant name (workaround).
|
changeset |
files
|
Mon, 27 Oct 2008 16:15:50 +0100 |
haftmann |
explicit history for equations; tuned
|
changeset |
files
|
Mon, 27 Oct 2008 16:15:49 +0100 |
haftmann |
slightly tuned
|
changeset |
files
|
Mon, 27 Oct 2008 16:15:48 +0100 |
haftmann |
added rudimentary code generation
|
changeset |
files
|
Mon, 27 Oct 2008 16:15:47 +0100 |
haftmann |
sup_bot and inf_top
|
changeset |
files
|
Mon, 27 Oct 2008 16:14:51 +0100 |
ballarin |
Extension of interface: declarations_of.
|
changeset |
files
|
Fri, 24 Oct 2008 17:51:36 +0200 |
haftmann |
simplified user-defined class syntax
|
changeset |
files
|
Fri, 24 Oct 2008 17:51:35 +0200 |
haftmann |
more clever module names for code generation
|
changeset |
files
|
Fri, 24 Oct 2008 17:48:42 +0200 |
haftmann |
"fun" gained a more uniform status
|
changeset |
files
|
Fri, 24 Oct 2008 17:48:40 +0200 |
haftmann |
simplified syntax for class parameters
|
changeset |
files
|
Fri, 24 Oct 2008 17:48:39 +0200 |
haftmann |
tuned
|
changeset |
files
|