ROOT 490 Bytes
Newer Older
Gerwin Klein's avatar
Gerwin Klein committed
1
(* Session name, add to AFP group, list base session: *)
2
session "Example-Submission" (AFP) = HOL +
Gerwin Klein's avatar
Gerwin Klein committed
3
4

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

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

(* The top-level theories of the submission: *)
15
16
  theories
    Submission
Gerwin Klein's avatar
Gerwin Klein committed
17
18
    
(* Dependencies on non-Isabelle files: *)
19
20
21
  files
    "document/root.bib"
    "document/root.tex"