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 615 8881a09a06fd
parent 563 c92a41d9c4da
child 642 6c13f76c070b
equal deleted inserted replaced
614:d5e9bcb384ec 615:8881a09a06fd 
    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