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

Renamed session back to Core_DOM.

This commit is contained in:
Michael Herzberg 2019-02-20 13:53:34 +00:00
parent 4ef60408e5
commit af3aa1bcf9
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 chapter AFP
session "Core_DOM-devel" (AFP) = "HOL-Library" + session "Core_DOM" = "HOL-Library" +
options [timeout = 600] options [timeout = 600]
theories theories
Core_DOM Core_DOM