BrowserSecurity
/
Core_DOM-dev
Archived
forked from afp-mirror/Core_DOM
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Updated session name.

This commit is contained in:
Achim D. Brucker 2019-02-20 13:28:17 +00:00
parent ae19cacb08
commit c8feb64de9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Core_DOM/ROOT
View File

@ -1,6 +1,6 @@
chapter AFP
session "Core_DOM-devel" (AFP) = "HOL-Library" +
session "Core_DOM-local" (AFP) = "HOL-Library" +
options [timeout = 600]
theories
Core_DOM