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 |