| /seL4-l4v-10.1.1/isabelle/Admin/Windows/Cygwin/ |
| H A D | setup_server | 14 local URL="$1"
17 echo "Downloading $URL ..."
18 curl --fail --silent "$URL" > "$DIR"/"$(basename "$URL")" || fail "FAILED"
|
| /seL4-l4v-10.1.1/l4v/isabelle/Admin/Windows/Cygwin/ |
| H A D | setup_server | 14 local URL="$1"
17 echo "Downloading $URL ..."
18 curl --fail --silent "$URL" > "$DIR"/"$(basename "$URL")" || fail "FAILED"
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/General/ |
| H A D | url.scala | 4 Basic URL operations.
12 import java.net.{URI, URISyntaxException, URL, MalformedURLException, URLDecoder, URLEncoder}
21 def apply(name: String): URL =
23 try { new URL(name) }
24 catch { case _: MalformedURLException => error("Malformed URL " + quote(name)) }
44 private def read(url: URL, gzip: Boolean): String =
48 def read(url: URL): String = read(url, false)
49 def read_gzip(url: URL): String = read(url, true)
|
| H A D | bytes.scala | 12 import java.net.URL
93 def read(url: URL): Bytes = using(url.openStream)(read_stream(_))
|
| H A D | file.scala | 16 import java.net.{URL, MalformedURLException}
52 val url = new URL(name)
|
| H A D | scan.scala | 18 import java.net.URL
490 def byte_reader(url: URL): Byte_Reader =
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/General/ |
| H A D | url.scala | 4 Basic URL operations.
12 import java.net.{URI, URISyntaxException, URL, MalformedURLException, URLDecoder, URLEncoder}
21 def apply(name: String): URL =
23 try { new URL(name) }
24 catch { case _: MalformedURLException => error("Malformed URL " + quote(name)) }
44 private def read(url: URL, gzip: Boolean): String =
48 def read(url: URL): String = read(url, false)
49 def read_gzip(url: URL): String = read(url, true)
|
| H A D | bytes.scala | 12 import java.net.URL
93 def read(url: URL): Bytes = using(url.openStream)(read_stream(_))
|
| H A D | file.scala | 16 import java.net.{URL, MalformedURLException}
52 val url = new URL(name)
|
| H A D | scan.scala | 18 import java.net.URL
490 def byte_reader(url: URL): Byte_Reader =
|
| /seL4-l4v-10.1.1/HOL4/src/HolSat/ |
| H A D | SatSolvers.sml | 7 ** URL, (* source for downloading *)
25 URL : string,
55 URL = "http://www.princeton.edu/~chaff/zchaff",
82 URL = "http://www.cs.chalmers.se/Cs/Research/FormalMethods/MiniSat",
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/Admin/ |
| H A D | jenkins.scala | 10 import java.net.URL
71 main_log: URL,
72 session_logs: List[(String, String, URL)])
81 def get_log(ext: String): Option[URL] =
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Admin/ |
| H A D | jenkins.scala | 10 import java.net.URL
71 main_log: URL,
72 session_logs: List[(String, String, URL)])
81 def get_log(ext: String): Option[URL] =
|
| /seL4-l4v-10.1.1/isabelle/lib/browser/GraphBrowser/ |
| H A D | GraphBrowser.java | 55 getAppletContext().showDocument(new URL(getDocumentBase(), fname), "_blank");
63 rd = new BufferedReader(new InputStreamReader((new URL(fname)).openConnection().getInputStream()));
175 InputStream is=(new URL(getDocumentBase(), gfname)).openConnection().getInputStream();
179 System.err.println("Invalid URL: "+gfname);
|
| /seL4-l4v-10.1.1/l4v/isabelle/lib/browser/GraphBrowser/ |
| H A D | GraphBrowser.java | 55 getAppletContext().showDocument(new URL(getDocumentBase(), fname), "_blank");
63 rd = new BufferedReader(new InputStreamReader((new URL(fname)).openConnection().getInputStream()));
175 InputStream is=(new URL(getDocumentBase(), gfname)).openConnection().getInputStream();
179 System.err.println("Invalid URL: "+gfname);
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/ |
| H A D | markup.scala | 188 val URL = "url"
189 val Url = new Markup_String(URL, NAME)
|
| H A D | rendering.scala | 199 Markup.ML_BREAKPOINT, Markup.PATH, Markup.DOC, Markup.URL, Markup.MARKDOWN_PARAGRAPH,
596 Some(info + (r0, true, XML.Text("URL " + quote(name))))
|
| /seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
| H A D | jedit_rendering.scala | 121 Markup.TOKEN_RANGE, Markup.ENTITY, Markup.PATH, Markup.DOC, Markup.URL, Markup.SORTING,
128 Markup.CITATION, Markup.URL)
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/ |
| H A D | markup.scala | 188 val URL = "url"
189 val Url = new Markup_String(URL, NAME)
|
| H A D | rendering.scala | 199 Markup.ML_BREAKPOINT, Markup.PATH, Markup.DOC, Markup.URL, Markup.MARKDOWN_PARAGRAPH,
596 Some(info + (r0, true, XML.Text("URL " + quote(name))))
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
| H A D | jedit_rendering.scala | 121 Markup.TOKEN_RANGE, Markup.ENTITY, Markup.PATH, Markup.DOC, Markup.URL, Markup.SORTING,
128 Markup.CITATION, Markup.URL)
|