Tue, 30 Sep 2008 14:19:27 +0200 Toplevel.commit_exit: position;
wenzelm [Tue, 30 Sep 2008 14:19:27 +0200] rev 28426
Toplevel.commit_exit: position;
Tue, 30 Sep 2008 14:19:26 +0200 export setmp_thread_position;
wenzelm [Tue, 30 Sep 2008 14:19:26 +0200] rev 28425
export setmp_thread_position; commit_exit: position; added plain command execution; simplified command_excursion, eliminated old (present_)excursion;
Tue, 30 Sep 2008 14:19:25 +0200 simplified process_file, eliminated Toplevel.excursion;
wenzelm [Tue, 30 Sep 2008 14:19:25 +0200] rev 28424
simplified process_file, eliminated Toplevel.excursion; load_thy: separation of Toplevel.command_excursion and ThyOutput.present_thy (intermediate state persist until commit_exit);
Tue, 30 Sep 2008 12:49:18 +0200 clarified codegen interfaces
haftmann [Tue, 30 Sep 2008 12:49:18 +0200] rev 28423
clarified codegen interfaces
Tue, 30 Sep 2008 12:49:17 +0200 tuned
haftmann [Tue, 30 Sep 2008 12:49:17 +0200] rev 28422
tuned
Tue, 30 Sep 2008 12:49:16 +0200 reorganized examples
haftmann [Tue, 30 Sep 2008 12:49:16 +0200] rev 28421
reorganized examples
Tue, 30 Sep 2008 12:49:14 +0200 fixed slips
haftmann [Tue, 30 Sep 2008 12:49:14 +0200] rev 28420
fixed slips
Tue, 30 Sep 2008 11:19:47 +0200 re-canibalised manual
haftmann [Tue, 30 Sep 2008 11:19:47 +0200] rev 28419
re-canibalised manual
Tue, 30 Sep 2008 04:06:55 +0200 slightly different command line for makedist_mercurial
kleing [Tue, 30 Sep 2008 04:06:55 +0200] rev 28418
slightly different command line for makedist_mercurial
Mon, 29 Sep 2008 21:45:44 +0200 put_thms: ContextPosition.set_visible false;
wenzelm [Mon, 29 Sep 2008 21:45:44 +0200] rev 28417
put_thms: ContextPosition.set_visible false;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip