# HG changeset patch # User Chengsong # Date 1561561729 -3600 # Node ID fc15971459755d49028c61fbcbef10af37ad67c1 # Parent feffec3af1a1d85004fafefbc5ad915f0fcf5e6c delete data unnecessary diff -r feffec3af1a1 -r fc1597145975 ecp/data.sty --- a/ecp/data.sty Wed Jun 26 16:06:58 2019 +0100 +++ b/ecp/data.sty Wed Jun 26 16:08:49 2019 +0100 @@ -1,27 +1,5 @@ % The data files, written on the first run. -%% example a?{n} a{n} -\begin{filecontents}{re-python.data} -1 0.029 -5 0.029 -10 0.029 -15 0.032 -16 0.042 -17 0.042 -18 0.055 -19 0.084 -20 0.136 -21 0.248 -22 0.464 -23 0.899 -24 1.773 -25 3.505 -26 6.993 -27 14.503 -28 29.307 -#29 58.886 -\end{filecontents} - \begin{filecontents}{re-python2.data} 1 0.033 @@ -41,37 +19,6 @@ 28 26.69 \end{filecontents} -%% example a?{n} a{n} -\begin{filecontents}{re-ruby.data} -1 0.00006 -#2 0.00003 -#3 0.00001 -#4 0.00001 -5 0.00001 -#6 0.00002 -#7 0.00002 -#8 0.00004 -#9 0.00007 -10 0.00013 -#11 0.00026 -#12 0.00055 -#13 0.00106 -#14 0.00196 -15 0.00378 -16 0.00764 -17 0.01606 -18 0.03094 -19 0.06508 -20 0.12420 -21 0.25393 -22 0.51449 -23 1.02174 -24 2.05998 -25 4.22514 -26 8.42479 -27 16.88678 -28 34.79653 -\end{filecontents} % JavaScript, example (a*)*b \begin{filecontents}{re-js.data}