1(*
2 * Copyright 2014, NICTA
3 *
4 * This software may be distributed and modified according to the terms of
5 * the BSD 2-Clause license. Note that NO WARRANTY is provided.
6 * See "LICENSE_BSD2.txt" for details.
7 *
8 * @TAG(NICTA_BSD)
9 *)
10
11session "AutoCorresQuickstart" = "AutoCorres" +
12  options [document = pdf, document_output = output, show_question_marks = false]
13  theories
14    Chapter1_MinMax
15    Chapter2_HoareHeap
16    Chapter3_HoareHeap
17  document_files
18    "root.tex"
19    "root.bib"
20    "comment.sty"
21    "ulem.sty"
22