Searched refs:url (Results 1 - 25 of 56) sorted by relevance

123

/seL4-l4v-10.1.1/seL4/tools/python-deps/
H A Dsetup.py45 url="https://sel4.systems", variable
/seL4-l4v-10.1.1/HOL4/src/opentheory/logging/
H A DCurl.sig2 val submitFile : {url : string, field : string, file : string} -> TextIO.instream
H A DCurl.sml2 fun submitFile {url,field,file} = let
5 val _ = if isSuccess(system("curl -sSH'Expect:' -F'"^field^"=@"^file^"' '"^url^"' >"^t)) then ()
/seL4-l4v-10.1.1/HOL4/src/opentheory/postbool/
H A DOpenTheoryIO.sml41 fun url_conv url tm = let
44 val t = Curl.submitFile {url=url,field="article",file=t}
/seL4-l4v-10.1.1/isabelle/src/Pure/Admin/
H A Djenkins.scala23 def invoke(url: String, args: String*): Any =
25 val req = url + "/api/json?" + args.mkString("&")
82 session_logs.collectFirst({ case (a, b, url) if a == session_name && b == ext => url })
85 case Some(url) =>
87 Bytes.write(database, Bytes.read(url))
92 case Some(url) =>
93 val log_file = Build_Log.Log_File(session_name, Url.read_gzip(url))
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/
H A Djenkins.scala23 def invoke(url: String, args: String*): Any =
25 val req = url + "/api/json?" + args.mkString("&")
82 session_logs.collectFirst({ case (a, b, url) if a == session_name && b == ext => url })
85 case Some(url) =>
87 Bytes.write(database, Bytes.read(url))
92 case Some(url) =>
93 val log_file = Build_Log.Log_File(session_name, Url.read_gzip(url))
/seL4-l4v-10.1.1/isabelle/src/Doc/JEdit/document/
H A Droot.tex65 \item TU M\"unchen \url{http://www.in.tum.de}
66 \item BMBF \url{http://www.bmbf.de}
67 \item Universit\'e Paris-Sud \url{http://www.u-psud.fr}
68 \item Digiteo \url{http://www.digiteo.fr}
69 \item ANR \url{http://www.agence-nationale-recherche.fr}
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/JEdit/document/
H A Droot.tex65 \item TU M\"unchen \url{http://www.in.tum.de}
66 \item BMBF \url{http://www.bmbf.de}
67 \item Universit\'e Paris-Sud \url{http://www.u-psud.fr}
68 \item Digiteo \url{http://www.digiteo.fr}
69 \item ANR \url{http://www.agence-nationale-recherche.fr}
/seL4-l4v-10.1.1/isabelle/src/Doc/Logics/document/
H A Dpreface.tex58 \url{http://www.cl.cam.ac.uk/Research/HVG/Isabelle/library/} \\
59 \url{https://isabelle.in.tum.de/library/} \\
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Logics/document/
H A Dpreface.tex58 \url{http://www.cl.cam.ac.uk/Research/HVG/Isabelle/library/} \\
59 \url{https://isabelle.in.tum.de/library/} \\
/seL4-l4v-10.1.1/isabelle/src/Pure/General/
H A Dhttp.scala116 def url: String = "http://" + address.getHostName + ":" + address.getPort
117 override def toString: String = url
H A Dbytes.scala93 def read(url: URL): Bytes = using(url.openStream)(read_stream(_))
H A Dsql.scala464 val (url, name, port_forwarding) =
468 val url = "jdbc:postgresql://" + spec
470 (url, name, None)
476 val url = "jdbc:postgresql://localhost:" + fw.local_port + db_name
478 (url, name, Some(fw))
481 val connection = DriverManager.getConnection(url, user, password)
H A Dfile.scala52 val url = new URL(name)
53 if (url.getProtocol == "file" && Url.is_wellformed_file(name))
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/
H A Dhttp.scala116 def url: String = "http://" + address.getHostName + ":" + address.getPort
117 override def toString: String = url
H A Dbytes.scala93 def read(url: URL): Bytes = using(url.openStream)(read_stream(_))
H A Dsql.scala464 val (url, name, port_forwarding) =
468 val url = "jdbc:postgresql://" + spec
470 (url, name, None)
476 val url = "jdbc:postgresql://localhost:" + fw.local_port + db_name
478 (url, name, Some(fw))
481 val connection = DriverManager.getConnection(url, user, password)
H A Dfile.scala52 val url = new URL(name)
53 if (url.getProtocol == "file" && Url.is_wellformed_file(name))
/seL4-l4v-10.1.1/HOL4/Manual/Description/
H A DHolQbf.tex36 \url{http://www.cprover.org/qbv/download.html}. After installation,
142 2005), as described at \url{http://www.qbflib.org/qdimacs.html}. The
180 Please submit additional feature requests (or code contributions) via \url{http://github.com/HOL-Theorem-Prover/HOL}.
195 (\url{http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTP}).
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Description/
H A DHolQbf.tex36 \url{http://www.cprover.org/qbv/download.html}. After installation,
139 2005), as described at \url{http://www.qbflib.org/qdimacs.html}. The
177 Please submit additional feature requests (or code contributions) via \url{http://github.com/mn200/HOL}.
192 (\url{http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTP}).
H A DHolSat.tex7 %\usepackage{url}
125 Other SAT solvers are currently not supported. If you would like such support to be added for your favourite solver, please send a feature request via \url{http://github.com/mn200/HOL}.
140 The name of a file in DIMACS format.\footnote{\url{http://www.satlib.org/Benchmarks/SAT/satformat.ps}}. Overrides \texttt{term} if set. The input term is instead read from the file.
/seL4-l4v-10.1.1/HOL4/Manual/Translations/IT/Tutorial/
H A Dintro.tex15 \url{http://hol.sourceforge.net}. Lo schema di denominazione per le release di
24 \url{http://lists.sourceforge.net/lists/listinfo/hol-info}. Questa
92 sul web all'indirizzo \url{http://www.itu.dk/~sestoft/mosml.html}.
93 Poly/ML � disponibile all'indirizzo \url{http://polyml.org}.
/seL4-l4v-10.1.1/HOL4/Manual/Tutorial/
H A Dintro.tex14 The \HOL{} system can be downloaded from \url{http://hol-theorem-prover.org}.
22 \url{http://lists.sourceforge.net/lists/listinfo/hol-info}. This
90 Poly/ML is available from \url{http://polyml.org}.
91 Moscow~ML is available on the web from \url{http://mosml.org}.
/seL4-l4v-10.1.1/isabelle/src/HOL/MicroJava/document/
H A Dintroduction.tex49 (\url{https://isabelle.in.tum.de/verificard/Bali/document.pdf}), which
104 \url{https://isabelle.in.tum.de/verificard/obj-init/document.pdf}),
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/MicroJava/document/
H A Dintroduction.tex49 (\url{https://isabelle.in.tum.de/verificard/Bali/document.pdf}), which
104 \url{https://isabelle.in.tum.de/verificard/obj-init/document.pdf}),

Completed in 146 milliseconds

123