/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/ML/ |
H A D | ml_lex.scala | 66 sealed case class Token(kind: Kind.Value, source: String) 69 def is_delimiter: Boolean = is_keyword && !Symbol.is_ascii_identifier(source) 292 error("Unexpected failure of tokenizing input:\n" + rest.source.toString)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Thy/ |
H A D | present.scala | 119 List(HTML.source(body)), css = "", structural = false) 124 val content = output_document(title, HTML.text(snapshot.node.source)) 131 File.write(bib, snapshot.node.source)
|
H A D | thy_syntax.scala | 121 /* edit individual command source */ 132 e.can_edit(cmd.source, cmd_start) || 135 case Some((cmd, cmd_start)) if e.can_edit(cmd.source, cmd_start) => 136 val (rest, text) = e.edit(cmd.source, cmd_start) 177 syntax.parse_spans(cmds0.iterator.map(_.source).mkString).map(span =>
|
H A D | html.scala | 206 def source(body: XML.Body): XML.Elem = pre("source", body) 207 def source(src: String): XML.Elem = source(text(src))
|
/seL4-l4v-10.1.1/HOL4/src/refute/ |
H A D | AC.sml | 74 * Taken directly from the GTT source code, by JRH. Translation by * 123 * Taken directly from the GTT source code, by JRH. Translation by *
|
/seL4-l4v-10.1.1/HOL4/doc/hol-mode/ |
H A D | hol-mode.tex | 27 previous tactic in the source text in the current buffer. With a 30 next tactic in the source text in the current buffer. With a \emph{prefix
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Isar/ |
H A D | parse.scala | 54 else Failure(s + " expected,\nbut " + token.kind + " was found:\n" + token.source, in) 69 def ML_source: Parser[String] = atom("ML source", _.is_text) 70 def document_source: Parser[String] = atom("document source", _.is_text)
|
/seL4-l4v-10.1.1/isabelle/src/Pure/Thy/ |
H A D | thy_syntax.scala | 121 /* edit individual command source */ 132 e.can_edit(cmd.source, cmd_start) || 135 case Some((cmd, cmd_start)) if e.can_edit(cmd.source, cmd_start) => 136 val (rest, text) = e.edit(cmd.source, cmd_start) 177 syntax.parse_spans(cmds0.iterator.map(_.source).mkString).map(span =>
|
H A D | html.scala | 206 def source(body: XML.Body): XML.Elem = pre("source", body) 207 def source(src: String): XML.Elem = source(text(src))
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Isar/ |
H A D | parse.scala | 54 else Failure(s + " expected,\nbut " + token.kind + " was found:\n" + token.source, in) 69 def ML_source: Parser[String] = atom("ML source", _.is_text) 70 def document_source: Parser[String] = atom("document source", _.is_text)
|
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/ |
H A D | pretty_text_area.scala | 40 List(node_name -> Document.Node.Edits(List(Text.Edit.insert(0, command.source)))) 53 (command.source, state1)
|
/seL4-l4v-10.1.1/l4v/tools/c-parser/standalone-parser/ |
H A D | tokenizer.sml | 45 invoke (#source lexarg) lexer before
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/ |
H A D | pretty_text_area.scala | 40 List(node_name -> Document.Node.Edits(List(Text.Edit.insert(0, command.source)))) 53 (command.source, state1)
|
/seL4-l4v-10.1.1/isabelle/src/HOL/Bali/document/ |
H A D | root.tex | 48 JavaCard \textbf{source language}. 49 The basis is an abstract model of the JavaCard source language. 56 We have modelled large parts of the original JavaCard source language. It models
|
/seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Bali/document/ |
H A D | root.tex | 48 JavaCard \textbf{source language}. 49 The basis is an abstract model of the JavaCard source language. 56 We have modelled large parts of the original JavaCard source language. It models
|
/seL4-l4v-10.1.1/HOL4/src/HolSat/ |
H A D | SatSolvers.sml | 7 ** URL, (* source for downloading *)
|
/seL4-l4v-10.1.1/HOL4/tools/ |
H A D | buildutils.sig | 51 (d,f) is source file info (directory and file) *)
|
/seL4-l4v-10.1.1/HOL4/tools-poly/Holmake/ |
H A D | winNT-systeml.sml | 5 absolutely can not depend on any other HOL source code. *)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | depcomp | 42 source Source file read by 'PROGRAMS ARGS'. 119 if test -z "$depmode" || test -z "$source" || test -z "$object"; then 120 echo "depcomp: Variables source, object and depmode must be set" 1>&2 366 # source file under compilation, even if file resides in a subdirectory. 375 # Use the source, not the object, to determine the base name, since 377 set_base_from "$source" 380 # For projects that build the same source file twice into different object 381 # files, the pgcc approach of using the *source* file root name can cause 651 # the object too, otherwise makedepend will parse it as a source file. 664 # makedepend may prepend the VPATH from the source fil [all...] |
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/MLCompiler/ |
H A D | TYPEIDCODESIG.sml | 32 { source: typeId, isEq: bool, isDatatype: bool, mkAddr: int->int, level: level} -> codetree
|
/seL4-l4v-10.1.1/isabelle/src/Pure/PIDE/ |
H A D | document.scala | 48 sealed case class Blob(bytes: Bytes, source: String, chunk: Symbol.Text_Chunk, changed: Boolean) 343 def source: String = 345 case Some(blob) => blob.source 346 case None => command_iterator(0).map({ case (cmd, _) => cmd.source }).mkString 928 tree <- markup.to_XML(command_range, command.source, elements).iterator 932 val node_source = node.source 1081 node.commands.iterator.takeWhile(_ != command).map(_.source) ++ 1083 else Iterator.single(command.source(Text.Range(0, command.chunk.decode(offset)))))
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Graphview/ |
H A D | mutator_dialog.scala | 307 case Mutator.Edge_Endpoints((source, dest)) => 309 ("Source", new Text_Field_Input(source.ident)),
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Metis/src/ |
H A D | Tptp.sig | 130 source : formulaSource}
|
/seL4-l4v-10.1.1/HOL4/polyml/ |
H A D | depcomp | 42 source Source file read by 'PROGRAMS ARGS'. 119 if test -z "$depmode" || test -z "$source" || test -z "$object"; then 120 echo "depcomp: Variables source, object and depmode must be set" 1>&2 366 # source file under compilation, even if file resides in a subdirectory. 375 # Use the source, not the object, to determine the base name, since 377 set_base_from "$source" 380 # For projects that build the same source file twice into different object 381 # files, the pgcc approach of using the *source* file root name can cause 651 # the object too, otherwise makedepend will parse it as a source file. 664 # makedepend may prepend the VPATH from the source fil [all...] |
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/PIDE/ |
H A D | document.scala | 48 sealed case class Blob(bytes: Bytes, source: String, chunk: Symbol.Text_Chunk, changed: Boolean) 343 def source: String = 345 case Some(blob) => blob.source 346 case None => command_iterator(0).map({ case (cmd, _) => cmd.source }).mkString 928 tree <- markup.to_XML(command_range, command.source, elements).iterator 932 val node_source = node.source 1081 node.commands.iterator.takeWhile(_ != command).map(_.source) ++ 1083 else Iterator.single(command.source(Text.Range(0, command.chunk.decode(offset)))))
|