Mercurial Mercurial > hg > pip / 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.
ROOT
author zhangx
Thu, 28 Jan 2016 21:14:17 +0800
changeset 90 ed938e2246b9
parent 64 b4bcd1edbb6d
child 195 6b26b1fd4da5
permissions -rw-r--r--
Retrofiting of: CpsG.thy (the parallel copy of PIPBasics.thy), ExtGG.thy (The paralell copy of Implemenation.thy), PrioG.thy (The paralell copy of Correctness.thy) has completed. The next step is to overwite original copies with the paralell ones.

session "PIP" = HOL +
  theories [document = false, quick_and_dirty]
	"Implementation" 
	"Correctness"
        "Test" 

session "Slides2" in "Slides" = PIP +
  options [document_variants="slides2"]
  theories [document = false]
    "~~/src/HOL/Library/LaTeXsugar"
  theories[document = true]
    "Slides2"
  files
    "document/build"

session "Slides3" in "Slides" = PIP +
  options [document = pdf, browser_info = false, document_output = "..", document_variants="slides3"]
  theories [document = false]
    "~~/src/HOL/Library/LaTeXsugar"
  theories[document = true, show_question_marks = false]
    "Slides3"
  files
    "document/build"

session "Slides4" in "Slides" = PIP +
  options [document = pdf, browser_info = false, document_output = "..",
document_variants="slides4"]
  theories [document = false]
    "~~/src/HOL/Library/LaTeXsugar"
  theories[document = true, show_question_marks = false]
    "Slides4"
  files
    "document/build"


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