| Fri, 26 Oct 2007 15:42:23 +0200 |
haftmann |
adjusted
|
changeset |
files
|
| Fri, 26 Oct 2007 15:37:02 +0200 |
haftmann |
tuned
|
changeset |
files
|
| Fri, 26 Oct 2007 14:24:32 +0200 |
krauss |
added NEWS entry for function package
|
changeset |
files
|
| Fri, 26 Oct 2007 10:32:10 +0200 |
haftmann |
added hint for algebra
|
changeset |
files
|
| Thu, 25 Oct 2007 19:27:54 +0200 |
haftmann |
moved primitive operations to class.ML
|
changeset |
files
|
| Thu, 25 Oct 2007 19:27:53 +0200 |
haftmann |
fixed syntax; truned code structure; added primitive subclass interface with consideraton of syntax etc.
|
changeset |
files
|
| Thu, 25 Oct 2007 19:27:52 +0200 |
haftmann |
dropped redundancy
|
changeset |
files
|
| Thu, 25 Oct 2007 19:27:50 +0200 |
haftmann |
various localizations
|
changeset |
files
|
| Thu, 25 Oct 2007 16:57:57 +0200 |
wenzelm |
made command 'undo' silent ('ProofGeneral.undo' becomes a historical relic);
|
changeset |
files
|
| Thu, 25 Oct 2007 13:52:05 +0200 |
haftmann |
tuned
|
changeset |
files
|
| Thu, 25 Oct 2007 13:52:04 +0200 |
haftmann |
clarified implementation
|
changeset |
files
|
| Thu, 25 Oct 2007 13:52:03 +0200 |
haftmann |
propagation through class hierarchy
|
changeset |
files
|
| Thu, 25 Oct 2007 13:52:02 +0200 |
haftmann |
added function for evaluation by compiler invocation
|
changeset |
files
|
| Thu, 25 Oct 2007 13:52:01 +0200 |
haftmann |
more computation with rationals
|
changeset |
files
|
| Thu, 25 Oct 2007 13:52:00 +0200 |
haftmann |
localized further
|
changeset |
files
|