afp-mirror
/
Featherweight_OCL
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fixed ROOT file syntax.

This commit is contained in:
Achim D. Brucker 2019-01-05 18:04:45 +00:00
parent 6587217c99
commit 81e5b1a2af
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Featherweight_OCL/ROOT
View File

@ -1,6 +1,6 @@
chapter AFP
session Featherweight_OCL-devel (AFP) = HOL +
session "Featherweight_OCL-devel" (AFP) = HOL +
description {* Featherweight-OCL *}
options [document_variants = "annex-a=annexa,-theory,-afp,-proof,-ML:document=afp,-annexa:outline=-annexa,afp,/proof,/ML",
show_question_marks = false, timeout = 600]