/seL4-l4v-10.1.1/isabelle/src/Tools/VSCode/src/ |
H A D | vscode_javascript.scala | 21 command: "did-click-link",
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/VSCode/src/ |
H A D | vscode_javascript.scala | 21 command: "did-click-link",
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
H A D | isabelle_devel.scala | 33 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 D | build_release.scala | 130 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 D | isabelle_devel.scala | 33 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 D | build_release.scala | 130 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 D | polyc.in | 42 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 D | cygwin.scala | 46 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 D | cygwin.scala | 46 case link :: content :: rest => 47 val path = (new JFile(isabelle_root, link)).toPath
|
/seL4-l4v-10.1.1/HOL4/tools/ |
H A D | build.sml | 49 (* 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 D | buildutils.sig | 49 opn will be cp, mv or a symbolic link operation;
|
/seL4-l4v-10.1.1/HOL4/tools-poly/ |
H A D | build.sml | 80 (* 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 D | jedit_rendering.scala | 242 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 D | active.scala | 52 val link = 58 link.foreach(_.follow(view))
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | jedit_rendering.scala | 242 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 D | active.scala | 52 val link = 58 link.foreach(_.follow(view))
|
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/ppc/ |
H A D | ppc_coretypesScript.sml | 29 | PPC_LR (* link register (return address) *)
|
/seL4-l4v-10.1.1/l4v/tools/c-parser/tools/mlyacc/ |
H A D | Makefile | 51 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 D | sysv.S | 61 link %fp,#0 209 link %fp,#-12 311 link %fp,#0
|
/seL4-l4v-10.1.1/HOL4/help/src-sml/ |
H A D | Htmlsigs.sml | 167 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 D | Doc2Html.sml | 127 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 D | query_operation.scala | 211 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 D | intro.tex | 4 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 D | query_operation.scala | 211 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 D | intro.tex | 4 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
|