ROOT 496 Bytes
Newer Older
1
2
chapter AFP

Gerwin Klein's avatar
Gerwin Klein committed
3
(* Session name, add to AFP group, list base session: *)
4
session "Example-Submission" (AFP) = HOL +
Gerwin Klein's avatar
Gerwin Klein committed
5
6

(* Timeout (in sec) in case of non-termination problems *)
7
  options [timeout = 600]
Gerwin Klein's avatar
Gerwin Klein committed
8
9
10
11
12
13
14
15
16

(* To suppress document generation of some theories: *)
(*
  theories [document = false]
    This_Theory
    That_Theory
*)

(* The top-level theories of the submission: *)
17
18
  theories
    Submission
Gerwin Klein's avatar
Gerwin Klein committed
19
    
wenzelm's avatar
wenzelm committed
20
(* Dependencies on document source files: *)
21
22
23
  document_files
    "root.bib"
    "root.tex"