Commit 5cf2ce44 authored by wenzelm's avatar wenzelm

more generous timeout;

parent 5d155a850a33
chapter AFP
session "Core_DOM" (AFP) = "HOL-Library" +
options [timeout = 1500]
options [timeout = 2400]
directories
"common"
"common/classes"
......
chapter AFP
session "DOM_Components" (AFP) = "Shadow_DOM" +
options [timeout = 1200]
options [timeout = 3600]
directories
counterexample
theories
......
chapter AFP
session "Formula_Derivatives" (AFP) = "HOL-Library" +
options [timeout = 5400]
options [timeout = 2400]
sessions
"List-Index"
Coinductive_Languages
......
chapter AFP
session "SC_DOM_Components" (AFP) = "Shadow_SC_DOM" +
options [timeout = 1200]
options [timeout = 2400]
theories
Core_DOM_DOM_Components
Core_DOM_SC_DOM_Components
......
chapter AFP
session "Shadow_DOM" (AFP) = "Core_DOM" +
options [timeout = 2400]
options [timeout = 3600]
directories
classes
monads
......
chapter AFP
session "Shadow_SC_DOM" (AFP) = "Core_SC_DOM" +
options [timeout = 2400]
options [timeout = 4800]
directories
classes
monads
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment