Removed local output directory.
afp-mirror/Core_DOM/master This commit looks good
Details
afp-mirror/Core_DOM/master This commit looks good
Details
This commit is contained in:
parent
c5258d8c59
commit
6cec568e45
|
@ -1,7 +1,7 @@
|
||||||
chapter AFP
|
chapter AFP
|
||||||
|
|
||||||
session "Core_DOM-devel" (AFP) = "HOL-Library" +
|
session "Core_DOM-devel" (AFP) = "HOL-Library" +
|
||||||
options [timeout = 4800, document = pdf, document_variants="document:outline=/proof,/ML",document_output=output]
|
options [timeout = 4800, document = pdf, document_variants="document:outline=/proof,/ML"]
|
||||||
theories
|
theories
|
||||||
Core_DOM
|
Core_DOM
|
||||||
Core_DOM_Tests
|
Core_DOM_Tests
|
||||||
|
|
Loading…
Reference in New Issue