Sun, 16 Jan 2011 20:55:48 +0100 wenzelm tuned;
Sun, 16 Jan 2011 20:54:30 +0100 wenzelm misc tuning for release;
Sun, 16 Jan 2011 19:45:42 +0100 wenzelm merged
Sun, 16 Jan 2011 17:21:13 +0100 berghofe Tuned show_status
Sun, 16 Jan 2011 19:44:59 +0100 wenzelm proper type variables with sorts;
Sun, 16 Jan 2011 17:01:49 +0100 wenzelm non-executable sources;
Sun, 16 Jan 2011 15:53:03 +0100 wenzelm tuned headers;
Sun, 16 Jan 2011 15:31:22 +0100 wenzelm tuned;
Sun, 16 Jan 2011 15:26:47 +0100 wenzelm type_synonym;
Sun, 16 Jan 2011 15:04:16 +0100 wenzelm more standard command descriptions;
Sun, 16 Jan 2011 14:57:14 +0100 wenzelm added before_exit continuation for named targets (locale, class etc.), e.g. for final check/cleanup as in VC management;
Sat, 15 Jan 2011 22:40:17 +0100 berghofe Replaced ad-hoc advance function by Position.advance
Sat, 15 Jan 2011 21:24:15 +0100 wenzelm merged
Sat, 15 Jan 2011 20:05:29 +0100 haftmann experimental variant of interpretation with simultaneous definitions, plus example
(0) -30000 -10000 -3000 -1000 -300 -100 -14 +14 +100 +300 +1000 +3000 +10000 +30000 tip