| 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 |