Mercurial Mercurial > hg > lexing / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Slides/data/re2a.data
author Chengsong
Fri, 01 Jul 2022 13:02:15 +0100
changeset 557 812e5d112f49
parent 200 10c096d59218
permissions -rw-r--r--
more changes
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
200
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     1
 
%% LaTeX2e file `data/re2a.data'
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     2
 
%% generated by the `filecontents' environment
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     3
 
%% from source `slides01' on 2016/06/14.
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     4
 
%%
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     5
 
1 0.00227
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     6
 
5 0.00027
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     7
 
10 0.00075
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     8
 
15 0.00178
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
     9
 
20 0.00102
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    10
 
25 0.00028
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    11
 
30 0.00040
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    12
 
35 0.00052
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    13
 
40 0.00075
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    14
 
45 0.00125
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    15
 
50 0.00112
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    16
 
55 0.00099
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    17
 
60 0.00113
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    18
 
65 0.00137
10c096d59218 updated
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff changeset 
    19
 
70 0.00170
lexing