Thu, 22 May 2014 17:53:03 +0200 tuned
haftmann [Thu, 22 May 2014 17:53:03 +0200] rev 57075
tuned
Thu, 22 May 2014 17:53:02 +0200 tuned names
haftmann [Thu, 22 May 2014 17:53:02 +0200] rev 57074
tuned names
Thu, 22 May 2014 17:53:01 +0200 tuned signature
haftmann [Thu, 22 May 2014 17:53:01 +0200] rev 57073
tuned signature
Thu, 22 May 2014 17:53:01 +0200 moved const declaration further down in bootstrap hierarchy: keep Named_Target free of low-level stuff
haftmann [Thu, 22 May 2014 17:53:01 +0200] rev 57072
moved const declaration further down in bootstrap hierarchy: keep Named_Target free of low-level stuff
Thu, 22 May 2014 17:52:59 +0200 unused
haftmann [Thu, 22 May 2014 17:52:59 +0200] rev 57071
unused
Thu, 22 May 2014 16:59:49 +0200 tuned
haftmann [Thu, 22 May 2014 16:59:49 +0200] rev 57070
tuned
Thu, 22 May 2014 16:59:49 +0200 more uniform order of operations;
haftmann [Thu, 22 May 2014 16:59:49 +0200] rev 57069
more uniform order of operations; tuned names
Thu, 22 May 2014 16:59:49 +0200 common background_abbrev operation
haftmann [Thu, 22 May 2014 16:59:49 +0200] rev 57068
common background_abbrev operation
Thu, 22 May 2014 16:59:49 +0200 tuned signature
haftmann [Thu, 22 May 2014 16:59:49 +0200] rev 57067
tuned signature
Thu, 22 May 2014 16:59:49 +0200 tuned: prefer separate function trails for locales and classes rather than ad-hoc case distinction
haftmann [Thu, 22 May 2014 16:59:49 +0200] rev 57066
tuned: prefer separate function trails for locales and classes rather than ad-hoc case distinction
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip