Thu, 08 Aug 2013 14:13:04 +0200 tuned imports;
wenzelm [Thu, 08 Aug 2013 14:13:04 +0200] rev 52907
tuned imports;
Thu, 08 Aug 2013 14:47:24 +0200 snippet for instr type
kleing [Thu, 08 Aug 2013 14:47:24 +0200] rev 52906
snippet for instr type
Thu, 08 Aug 2013 12:01:02 +0200 filter function on streams
traytel [Thu, 08 Aug 2013 12:01:02 +0200] rev 52905
filter function on streams
Thu, 08 Aug 2013 12:00:45 +0200 tuned
traytel [Thu, 08 Aug 2013 12:00:45 +0200] rev 52904
tuned
Wed, 07 Aug 2013 23:20:11 +0200 tuned proofs;
wenzelm [Wed, 07 Aug 2013 23:20:11 +0200] rev 52903
tuned proofs;
Wed, 07 Aug 2013 21:16:20 +0200 tuned proofs;
wenzelm [Wed, 07 Aug 2013 21:16:20 +0200] rev 52902
tuned proofs;
Wed, 07 Aug 2013 20:32:54 +0200 maintain commands together with index -- avoid redundant reconstruction of full_index;
wenzelm [Wed, 07 Aug 2013 20:32:54 +0200] rev 52901
maintain commands together with index -- avoid redundant reconstruction of full_index;
Wed, 07 Aug 2013 19:59:58 +0200 more elementary list structures for markup tree traversal;
wenzelm [Wed, 07 Aug 2013 19:59:58 +0200] rev 52900
more elementary list structures for markup tree traversal;
Wed, 07 Aug 2013 17:23:40 +0200 tuning
blanchet [Wed, 07 Aug 2013 17:23:40 +0200] rev 52899
tuning
Wed, 07 Aug 2013 17:23:40 +0200 enrich exported ML function's signature
blanchet [Wed, 07 Aug 2013 17:23:40 +0200] rev 52898
enrich exported ML function's signature
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 tip