Mon, 08 Dec 2014 11:49:04 +0100 tuned signature;
wenzelm [Mon, 08 Dec 2014 11:49:04 +0100] rev 59107
tuned signature;
Mon, 08 Dec 2014 14:32:11 +0100 instance bool and enat as topologies
hoelzl [Mon, 08 Dec 2014 14:32:11 +0100] rev 59106
instance bool and enat as topologies
Mon, 08 Dec 2014 12:30:47 +0100 NEWS
haftmann [Mon, 08 Dec 2014 12:30:47 +0100] rev 59105
NEWS
Fri, 05 Dec 2014 19:35:36 +0100 allow multiple inheritance of targets
haftmann [Fri, 05 Dec 2014 19:35:36 +0100] rev 59104
allow multiple inheritance of targets
Thu, 04 Dec 2014 16:51:54 +0100 tuned module structure
haftmann [Thu, 04 Dec 2014 16:51:54 +0100] rev 59103
tuned module structure
Thu, 04 Dec 2014 16:51:54 +0100 tuned data structures
haftmann [Thu, 04 Dec 2014 16:51:54 +0100] rev 59102
tuned data structures
Thu, 04 Dec 2014 16:51:54 +0100 tuned target inheritance bookkeeping: ancestry is always fully maintained at current entry using canonical merge;
haftmann [Thu, 04 Dec 2014 16:51:54 +0100] rev 59101
tuned target inheritance bookkeeping: ancestry is always fully maintained at current entry using canonical merge; n. b. merging of bidirectional dependencies results in effective join of involved nodes: no termination problem since ancestry is always kept explicitly normalized
Thu, 04 Dec 2014 16:51:54 +0100 tuned
haftmann [Thu, 04 Dec 2014 16:51:54 +0100] rev 59100
tuned
Thu, 04 Dec 2014 16:51:54 +0100 tuned names
haftmann [Thu, 04 Dec 2014 16:51:54 +0100] rev 59099
tuned names
Thu, 04 Dec 2014 16:51:54 +0100 eta-expand all search patterns using schematic place holders
haftmann [Thu, 04 Dec 2014 16:51:54 +0100] rev 59098
eta-expand all search patterns using schematic place holders
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip