Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Removed links to files outside of the current session.

This commit is contained in:
Achim D. Brucker 2023-02-19 17:46:16 +00:00
parent 762225d20d
commit ba90433700
3 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Isabelle_DOF-Examples-Extra/CC_ISO15408/PikeOS_study/PikeOS_ST.thy
View File

@ -1,7 +1,6 @@
theory PikeOS_ST (*Security Target *)
imports "../../../src/ontologies/CC_v3.1_R5/CC_v3_1_R5"
(* Isabelle_DOF.CC_v3_1_R5 in the future. *)
imports "Isabelle_DOF-ontologies.CC_v3_1_R5'
begin
@ -87,4 +86,4 @@ open_monitor*[PikosSR::SEC_REQ_MNT]
close_monitor*[PikosSR]
close_monitor*[stpkos]
end
end

8
Isabelle_DOF-Unit-Tests/OutOfOrderPresntn.thy
View File

@ -476,7 +476,7 @@ val _ = Theory.setup
\<close>
textN\<open>
@{figure_content [width=40, scale=35, caption="This is a test"] "../ROOT"}
@{figure_content [width=40, scale=35, caption="This is a test"] "ROOT"}
\<close>
ML\<open>
@ -499,7 +499,7 @@ val _ =
\<close>
Figure*[fff::figure,src="\<open>this is a side-by-side\<close>"]
\<open>@{figure_content [width=40, scale=35, caption="This is a test"] "../ROOT"}\<close>
\<open>@{figure_content [width=40, scale=35, caption="This is a test"] "ROOT"}\<close>
\<open> \<^doof> \<^LATEX> \<close>
\<open> \<^theory_text>\<open>definition df = ... \<close>
@{ML [display] \<open> let val x = 3 + 4 in true end\<close>}
@ -509,8 +509,8 @@ Figure*[fff::figure,src="\<open>this is a side-by-side\<close>"]
Figure*[ffff::figure2, caption="\<open>this is another 2 side-by-side\<close>"]
\<open>@{figure_content [width=40, scale=35, caption="This is a left test"] "../ROOT"}\<close>
\<open>@{figure_content [width=40, scale=35, caption="This is a right test"] "../ROOT"}\<close>
\<open>@{figure_content [width=40, scale=35, caption="This is a left test"] "ROOT"}\<close>
\<open>@{figure_content [width=40, scale=35, caption="This is a right test"] "ROOT"}\<close>
(* proposed syntax for sub-figure labels :
text\<open> @{figure "ffff(2)"}\<close>

2
Isabelle_DOF/thys/Isa_COL.thy
View File

@ -628,7 +628,7 @@ section\<open>Tests\<close>
(*<*)
(*
text\<open> @{fig_content [display] (scale = 80, width=80, caption=\<open>this is \<^term>\<open>\<sigma>\<^sub>i+2\<close> \<dots>\<close>)
\<open>../../examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.pdf\<close>}\<close>
\<open>examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/figures/isabelle-architecture.pdf\<close>}\<close>
text\<open> @{table_inline [display] (cell_placing = center,cell_height =\<open>12.0cm\<close>,
cell_height =\<open>13pt\<close>, cell_width = \<open>12.0cm\<close>,
cell_bgnd_color=black,cell_line_color=red,cell_line_width=\<open>12.0cm\<close>)