Renamed session to avoid conflict with activated AFP.
This commit is contained in:
parent
a5b1b8fe20
commit
66ca317b28
|
@ -1,6 +1,6 @@
|
||||||
chapter AFP
|
chapter AFP
|
||||||
|
|
||||||
session Featherweight_OCL (AFP) = HOL +
|
session Featherweight_OCL-devel (AFP) = HOL +
|
||||||
description {* Featherweight-OCL *}
|
description {* Featherweight-OCL *}
|
||||||
options [document_variants = "annex-a=annexa,-theory,-afp,-proof,-ML:document=afp,-annexa:outline=-annexa,afp,/proof,/ML",
|
options [document_variants = "annex-a=annexa,-theory,-afp,-proof,-ML:document=afp,-annexa:outline=-annexa,afp,/proof,/ML",
|
||||||
show_question_marks = false, timeout = 600]
|
show_question_marks = false, timeout = 600]
|
||||||
|
|
Loading…
Reference in New Issue