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.
ChengsongTanPhdThesis/re-dart.data
author Chengsong
Sun, 09 Jul 2023 02:08:12 +0100
changeset 658 273c176d9027
parent 610 d028c662a3df
permissions -rw-r--r--
finished 4.3.2 section explaining why lemma 11 is too strong
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
610
d028c662a3df data files
Chengsong
parents:
diff changeset 
     1
 
%% LaTeX2e file `re-dart.data'
d028c662a3df data files
Chengsong
parents:
diff changeset 
     2
 
%% generated by the `filecontents' environment
d028c662a3df data files
Chengsong
parents:
diff changeset 
     3
 
%% from source `slides01' on 2022/03/16.
d028c662a3df data files
Chengsong
parents:
diff changeset 
     4
 
%%
d028c662a3df data files
Chengsong
parents:
diff changeset 
     5
 
20 0.042
d028c662a3df data files
Chengsong
parents:
diff changeset 
     6
 
21 0.084
d028c662a3df data files
Chengsong
parents:
diff changeset 
     7
 
22 0.190
d028c662a3df data files
Chengsong
parents:
diff changeset 
     8
 
23 0.340
d028c662a3df data files
Chengsong
parents:
diff changeset 
     9
 
24 0.678
d028c662a3df data files
Chengsong
parents:
diff changeset 
    10
 
25 1.369
d028c662a3df data files
Chengsong
parents:
diff changeset 
    11
 
26 2.700
d028c662a3df data files
Chengsong
parents:
diff changeset 
    12
 
27 5.462
d028c662a3df data files
Chengsong
parents:
diff changeset 
    13
 
28 10.908
d028c662a3df data files
Chengsong
parents:
diff changeset 
    14
 
29 21.725
d028c662a3df data files
Chengsong
parents:
diff changeset 
    15
 
30 43.492
lexing