| Tue, 15 Jul 2008 16:02:07 +0200 |
haftmann |
tuned code theorem bookkeeping
|
changeset |
files
|
| Tue, 15 Jul 2008 15:59:49 +0200 |
wenzelm |
tuned changelogentry;
|
changeset |
files
|
| Tue, 15 Jul 2008 15:46:43 +0200 |
wenzelm |
refined Output.status_fn: priority (only visible for non-empty output, e.g. via test_markup print mode);
|
changeset |
files
|
| Tue, 15 Jul 2008 15:46:41 +0200 |
wenzelm |
support for command status;
|
changeset |
files
|
| Tue, 15 Jul 2008 14:15:49 +0200 |
wenzelm |
added status channel;
|
changeset |
files
|
| Tue, 15 Jul 2008 14:15:43 +0200 |
wenzelm |
added status channel;
|
changeset |
files
|
| Tue, 15 Jul 2008 12:13:14 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Tue, 15 Jul 2008 11:50:04 +0200 |
wenzelm |
simplified commit_exit;
|
changeset |
files
|
| Tue, 15 Jul 2008 11:50:03 +0200 |
wenzelm |
simplified commit_exit: operate on previous node of final state, include warning here;
|
changeset |
files
|
| Tue, 15 Jul 2008 11:50:02 +0200 |
wenzelm |
removed obsolete commit_exit;
|
changeset |
files
|
| Tue, 15 Jul 2008 11:02:43 +0200 |
wenzelm |
added command 'linear_undo';
|
changeset |
files
|
| Tue, 15 Jul 2008 10:59:14 +0200 |
wenzelm |
removed command 'redo';
|
changeset |
files
|
| Tue, 15 Jul 2008 10:49:39 +0200 |
wenzelm |
adapted ThyInfo.end_theory;
|
changeset |
files
|
| Tue, 15 Jul 2008 09:30:39 +0200 |
haftmann |
dropped map; fixed swap
|
changeset |
files
|
| Tue, 15 Jul 2008 07:10:50 +0200 |
haftmann |
curried gcd
|
changeset |
files
|