| Tue, 30 Sep 2008 22:02:44 +0200 | wenzelm | export explicit joint_futures, removed Theory.at_end hook; | changeset | files |
| Tue, 30 Sep 2008 14:30:44 +0200 | haftmann | tuned | changeset | files |
| Tue, 30 Sep 2008 14:19:28 +0200 | wenzelm | turned process_thy into present_thy, which merely does presentation (wrt. persistent intermediate states); | changeset | files |
| Tue, 30 Sep 2008 14:19:27 +0200 | wenzelm | Toplevel.commit_exit: position; | changeset | files |
| Tue, 30 Sep 2008 14:19:26 +0200 | wenzelm | export setmp_thread_position; | changeset | files |
| Tue, 30 Sep 2008 14:19:25 +0200 | wenzelm | simplified process_file, eliminated Toplevel.excursion; | changeset | files |