Mercurial Mercurial > hg > lexing / comparison
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.
thys3/ROOT
changeset 619 2072a8d54e3e
parent 615 8881a09a06fd
child 642 6c13f76c070b
equal deleted inserted replaced
618:233cf2b97d1a 619:2072a8d54e3e 
    25 	   document_heading_prefix = ""]
 
    25 	   document_heading_prefix = ""]
 
    26 theories
 
    26 theories
 
    27     Paper
 
    27     Paper
 
    28 document_files
 
    28 document_files
 
    29   "root.tex"
 
    29   "root.tex"
 
       
    30   "llncs.cls"
 
    30   "lipics-v2021.cls"
 
    31   "lipics-v2021.cls"
 
    31   "cc-by.pdf"
 
    32   "cc-by.pdf"
 
    32   "lipics-logo-bw.pdf"
 
    33   "lipics-logo-bw.pdf"
 
    33   "root.bib"
 
    34   "root.bib"
lexing