Fri, 23 May 2014 14:12:20 +0200 automatically reload state file when it changes on disk
blanchet [Fri, 23 May 2014 14:12:20 +0200] rev 57076
automatically reload state file when it changes on disk
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
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip