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
|
Mon, 14 Jul 2008 23:28:26 +0200 |
wenzelm |
cover macbroy as well;
|
changeset |
files
|