Searched refs:link (Results 1 - 25 of 84) sorted by relevance

1234

/seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/
H A Dvscode_javascript.scala21 command: "did-click-link",
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/
H A Dvscode_javascript.scala21 command: "did-click-link",
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Disabelle_devel.scala33 List(HTML.link(RELEASE_SNAPSHOT, HTML.text("release snapshot"))) :::
36 HTML.text("Cronjob ") ::: List(HTML.link(CRONJOB_LOG, HTML.text("log file"))),
39 List(HTML.link(BUILD_STATUS + "/index.html", HTML.text("build status"))) :::
43 List(HTML.link(BUILD_LOG_DB, HTML.text("build log"))) :::
45 List(HTML.link("https://sqlitebrowser.org",
H A Dbuild_release.scala130 HTML.link(AFP.repos_source + "/commits/" + afp_rev, HTML.text("AFP/" + afp_rev))
138 List(HTML.link(bundle, HTML.text(bundle_info.platform_description))) }))) :::
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/
H A Disabelle_devel.scala33 List(HTML.link(RELEASE_SNAPSHOT, HTML.text("release snapshot"))) :::
36 HTML.text("Cronjob ") ::: List(HTML.link(CRONJOB_LOG, HTML.text("log file"))),
39 List(HTML.link(BUILD_STATUS + "/index.html", HTML.text("build status"))) :::
43 List(HTML.link(BUILD_LOG_DB, HTML.text("build log"))) :::
45 List(HTML.link("https://sqlitebrowser.org",
H A Dbuild_release.scala130 HTML.link(AFP.repos_source + "/commits/" + afp_rev, HTML.text("AFP/" + afp_rev))
138 List(HTML.link(bundle, HTML.text(bundle_info.platform_description))) }))) :::
/seL4-l4v-10.1.1/HOL4/polyml/
H A Dpolyc.in42 link() function
55 echo Compile and link a Standard ML source file with Poly/ML.
58 echo " -c Compile but do not link. The object file is written to the source file with .$SUFFIX extension."
123 compile "$sourcefile" "$TMPOBJFILE" && link "$TMPOBJFILE" "$outputfile"
125 link "$sourcefile" "$outputfile"
/seL4-l4v-10.1.1/isabelle/src/Pure/System/
H A Dcygwin.scala46 case link :: content :: rest =>
47 val path = (new JFile(isabelle_root, link)).toPath
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/System/
H A Dcygwin.scala46 case link :: content :: rest =>
47 val path = (new JFile(isabelle_root, link)).toPath
/seL4-l4v-10.1.1/HOL4/tools/
H A Dbuild.sml49 (* create a symbolic link - Unix only *)
50 fun link b s1 s2 = function
53 else die ("Unable to link file "^quote s1^" to file "^quote s2^".")
59 else link
60 val default_link = if OS = "winNT" then cp else link
70 symlink argument says whether this is via a symbolic link,
H A Dbuildutils.sig49 opn will be cp, mv or a symbolic link operation;
/seL4-l4v-10.1.1/HOL4/tools-poly/
H A Dbuild.sml80 (* create a symbolic link - Unix only *)
81 fun link b s1 s2 = function
84 die ("Unable to link old file "^quote s1^" to new file "
90 else link
91 val default_link = if OS = "winNT" then cp else link
95 symlink argument says whether this is via a symbolic link,
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Djedit_rendering.scala242 val link = PIDE.editor.hyperlink_file(true, file)
243 Some(links :+ Text.Info(snapshot.convert(info_range), link))
246 PIDE.editor.hyperlink_doc(name).map(link =>
247 (links :+ Text.Info(snapshot.convert(info_range), link)))
250 val link = PIDE.editor.hyperlink_url(name)
251 Some(links :+ Text.Info(snapshot.convert(info_range), link))
255 opt_link.map(link => links :+ Text.Info(snapshot.convert(info_range), link))
259 opt_link.map(link => links :+ Text.Info(snapshot.convert(info_range), link))
[all...]
H A Dactive.scala52 val link =
58 link.foreach(_.follow(view))
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Djedit_rendering.scala242 val link = PIDE.editor.hyperlink_file(true, file)
243 Some(links :+ Text.Info(snapshot.convert(info_range), link))
246 PIDE.editor.hyperlink_doc(name).map(link =>
247 (links :+ Text.Info(snapshot.convert(info_range), link)))
250 val link = PIDE.editor.hyperlink_url(name)
251 Some(links :+ Text.Info(snapshot.convert(info_range), link))
255 opt_link.map(link => links :+ Text.Info(snapshot.convert(info_range), link))
259 opt_link.map(link => links :+ Text.Info(snapshot.convert(info_range), link))
[all...]
H A Dactive.scala52 val link =
58 link.foreach(_.follow(view))
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/ppc/
H A Dppc_coretypesScript.sml29 | PPC_LR (* link register (return address) *)
/seL4-l4v-10.1.1/l4v/tools/c-parser/tools/mlyacc/
H A DMakefile51 MLY_SRCDEPS0 = absyn-sig absyn core coreutils grammar graph hdr lalr link look \
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/m68k/
H A Dsysv.S61 link %fp,#0
209 link %fp,#-12
311 link %fp,#0
/seL4-l4v-10.1.1/HOL4/help/src-sml/
H A DHtmlsigs.sml167 fun idhref link id =
168 (out "<a href=\"#"; out link; out "\">"; out id; out"</a>")
169 fun idhref_full link id =
170 (out "<a href=\"file://"; out link; out "\">"; out id; out"</a>")
210 val link = id ^ "-" ^ kindtag value
216 else if not (Binaryset.member (!anchors, link))
223 else idhref link id
H A DDoc2Html.sml127 fun link s = function
132 | outlinks [s] = link s
133 | outlinks (h::t) = (link h; out",\n"; outlinks t)
/seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/
H A Dquery_operation.scala211 link <- editor.hyperlink_command(true, snapshot, command.id)
212 } link.follow(editor_context)
/seL4-l4v-10.1.1/isabelle/src/HOL/SPARK/Manual/document/
H A Dintro.tex4 This document describes a link between Isabelle/HOL and the \SPARK{}/Ada tool
6 Using this link, verification problems can be tackled that are beyond reach
13 we give an introduction to \SPARK{} and the HOL-\SPARK{} link. The verification
17 describes the commands provided by the HOL-\SPARK{} link, as well as the encoding
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/
H A Dquery_operation.scala211 link <- editor.hyperlink_command(true, snapshot, command.id)
212 } link.follow(editor_context)
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/SPARK/Manual/document/
H A Dintro.tex4 This document describes a link between Isabelle/HOL and the \SPARK{}/Ada tool
6 Using this link, verification problems can be tackled that are beyond reach
13 we give an introduction to \SPARK{} and the HOL-\SPARK{} link. The verification
17 describes the commands provided by the HOL-\SPARK{} link, as well as the encoding

Completed in 206 milliseconds

1234