Mercurial Mercurial > hg > lexing / file revision
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.
thys/ROOT
author Chengsong
Mon, 04 Feb 2019 13:10:26 +0000
changeset 304 82a99eec5b73
parent 287 95b3880d428f
child 330 89e6605c4ca4
permissions -rw-r--r--
3 files to be compiled together and then run scala Spiral a b where a, b are integers to see the time distribution

session "Lex" = HOL +
  theories [document = false]
        "Spec"
	(*"SpecExt"*)
        "Lexer"
        (*"LexerExt"*)
        "Simplifying"
        "Sulzmann" 
        "Positions"
	(*"PositionsExt"*)
        "Exercises"

session Paper in "Paper" = Lex +
  options [document = pdf, document_output = "..", document_variants="paper"]
  theories 
    "~~/src/HOL/Library/LaTeXsugar"
    "Paper"
  document_files
    "root.bib"
    "root.tex" 


session Journal in "Journal" = Lex +
  options [document = pdf, document_output = "..", document_variants="journal"]
  theories 
    "~~/src/HOL/Library/LaTeXsugar"
    "Paper"
    "PaperExt"
  document_files
    "root.bib"
    "root.tex"
lexing