ftuong
/
citadelle-devel
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

continue a03cc6ccde

This commit is contained in:
Frédéric Tuong 2018-07-03 15:06:51 -04:00
parent 90debe03e9
commit 4f34b5b2f2
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/compiler_generic/ROOT
View File

@ -45,7 +45,6 @@ session Meta_Isabelle (AFP) = HOL +
description {* Meta_Isabelle *}
options [timeout = 600, document = pdf, document_output = document_generated]
theories [document = false]
"~~/src/HOL/Library/Code_Char"
"isabelle_home/src/HOL/Isabelle_Main0"
"isabelle_home/src/HOL/Isabelle_Main1"
theories