/seL4-l4v-master/HOL4/developers/docfiles/ |
H A D | gen-documented.sh | 3 # write the names of all existing doc files: 5 # corresponding Docfiles/str.fun.doc exists 14 ls -1 $holdir/help/Docfiles/*.doc | sed 's/.*s\/\([^/]\+\)\.doc/\1/'
|
/seL4-l4v-master/isabelle/src/Pure/Admin/ |
H A D | build_doc.scala | 29 if info.groups.contains("doc") 30 doc = info.options.string("document_variants") 31 if all_docs || docs.contains(doc) 32 } yield (doc, name) 37 docs.filter(doc => !selected_docs.contains(doc)) match { 57 val doc_dir = Path.explode("~~/doc") 58 for (doc <- selected_docs) { 59 val name = Path.explode(doc + ".pdf")
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Admin/ |
H A D | build_doc.scala | 29 if info.groups.contains("doc") 30 doc = info.options.string("document_variants") 31 if all_docs || docs.contains(doc) 32 } yield (doc, name) 37 docs.filter(doc => !selected_docs.contains(doc)) match { 57 val doc_dir = Path.explode("~~/doc") 58 for (doc <- selected_docs) { 59 val name = Path.explode(doc + ".pdf")
|
/seL4-l4v-master/HOL4/Manual/Reference/ |
H A D | Makefile | 13 D2TSED=bin/doc-to-tex.sed 17 MAKEDOC=$(HOLdir)/Manual/Reference/bin/create-doc-files2 59 /bin/sh bin/doc-to-tex ${D2TSED} ${Helpd}/THEOREMS/basic-logic theorems.tex 61 /bin/sh bin/doc-to-tex ${D2TSED} ${Helpd}/THEOREMS/syntax theorems.tex 63 /bin/sh bin/doc-to-tex ${D2TSED} ${Helpd}/THEOREMS/axioms theorems.tex 65 /bin/sh bin/doc-to-tex ${D2TSED} ${Helpd}/THEOREMS/logic theorems.tex 67 /bin/sh bin/doc-to-tex ${D2TSED} ${Helpd}/THEOREMS/functions theorems.tex 69 /bin/sh bin/doc-to-tex ${D2TSED} ${Helpd}/THEOREMS/one theorems.tex 71 /bin/sh bin/doc-to-tex ${D2TSED} ${Helpd}/THEOREMS/combin theorems.tex 73 /bin/sh bin/doc [all...] |
/seL4-l4v-master/l4v/misc/regression/ |
H A D | testspec.py | 86 def parse_test(doc, env): 87 test = Test(doc.get("name"), doc.text.strip(), env) 95 def parse_sequence(doc, env): 98 for child in doc: 106 def parse_set(doc, env): 109 for child in doc: 123 def parse_tag(doc, env): 125 parser = parsers[doc.tag] 127 raise TestSpecParseException("Unknown tag '%s'" % doc [all...] |
/seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/ |
H A D | makefile | 16 cd doc; make doc 52 cd doc; make clean 77 mkdir $(RD)/doc 82 cp doc/buddy.ps $(RD)/doc 83 cp doc/bddnotes.ps $(RD)/doc 84 cp doc/tech.txt $(RD)/doc [all...] |
/seL4-l4v-master/HOL4/help/src-sml/ |
H A D | ParseDoc.sig | 30 returns a set of all the .doc files. The doc files are stored in 31 the set in an appropriate order, and stripped of their .doc suffix. 34 stripped of its .doc suffix and returns the "core" part of the name. 37 sort of name occurs when .doc entries describe whole structures (e.g.,
|
/seL4-l4v-master/isabelle/src/Tools/VSCode/src/ |
H A D | document_model.scala | 37 sealed case class Content(doc: Line.Document) 39 override def toString: String = doc.toString 40 def text_length: Text.Offset = doc.text_length 41 def text_range: Text.Range = doc.text_range 42 def text: String = doc.text 52 (line, l) <- doc.lines.iterator.zipWithIndex 84 def get_text(range: Text.Range): Option[String] = content.doc.get_text(range) 116 val doc = content.doc 118 val pos2 = Line.Position((pos.line + caret_perspective + 1) min doc [all...] |
H A D | vscode_rendering.scala | 91 val doc = model.content.doc 93 doc.offset(Line.Position(line)) match { 102 line_start, doc.lines(line).text, caret - line_start, 126 range = Some(doc.range(item.range)))) 154 range = model.content.doc.range(text_range) 204 loop(0, 0, model.content.doc.lines, Nil) 241 val range = model.content.doc.range(text_range) 271 val doc = Line.Document(text) 272 doc [all...] |
/seL4-l4v-master/l4v/isabelle/src/Tools/VSCode/src/ |
H A D | document_model.scala | 37 sealed case class Content(doc: Line.Document) 39 override def toString: String = doc.toString 40 def text_length: Text.Offset = doc.text_length 41 def text_range: Text.Range = doc.text_range 42 def text: String = doc.text 52 (line, l) <- doc.lines.iterator.zipWithIndex 84 def get_text(range: Text.Range): Option[String] = content.doc.get_text(range) 116 val doc = content.doc 118 val pos2 = Line.Position((pos.line + caret_perspective + 1) min doc [all...] |
H A D | vscode_rendering.scala | 91 val doc = model.content.doc 93 doc.offset(Line.Position(line)) match { 102 line_start, doc.lines(line).text, caret - line_start, 126 range = Some(doc.range(item.range)))) 154 range = model.content.doc.range(text_range) 204 loop(0, 0, model.content.doc.lines, Nil) 241 val range = model.content.doc.range(text_range) 271 val doc = Line.Document(text) 272 doc [all...] |
/seL4-l4v-master/HOL4/src/1/ |
H A D | wlogLib.sig | 4 (see doc/copyrights/public-domain-contributions.txt)
|
/seL4-l4v-master/HOL4/src/coretypes/pair-Manual/ |
H A D | Makefile | 11 # Pathname to the doc-to-tex script and doc-to-tex.sed file 13 DOCTOTEX=../../../Manual/Reference/bin/doc-to-tex 14 DOCTOTEXSED=../../../Manual/Reference/bin/doc-to-tex.sed
|
/seL4-l4v-master/HOL4/src/res_quan/Manual/ |
H A D | Makefile | 11 # Pathname to the doc-to-tex script and doc-to-tex.sed file 13 DOCTOTEX=../../../Manual/Reference/bin/doc-to-tex 14 DOCTOTEXSED=../../../Manual/Reference/bin/doc-to-tex.sed
|
/seL4-l4v-master/HOL4/src/string/Manual/ |
H A D | Makefile | 11 # Pathname to the doc-to-tex script and doc-to-tex.sed file 13 DOCTOTEX=../../../Manual/Reference/bin/doc-to-tex 14 DOCTOTEXSED=../../../Manual/Reference/bin/doc-to-tex.sed
|
/seL4-l4v-master/HOL4/src/unwind/Manual/ |
H A D | Makefile | 11 # Pathname to the doc-to-tex script and doc-to-tex.sed file 13 DOCTOTEX=../../../Manual/Reference/bin/doc-to-tex 14 DOCTOTEXSED=../../../Manual/Reference/bin/doc-to-tex.sed
|
/seL4-l4v-master/HOL4/src/pred_set/Manual/ |
H A D | Makefile | 14 # Pathname to the doc-to-tex script and doc-to-tex.sed file 16 DOCTOTEXSH=../../../Manual/Reference/bin/doc-to-tex 17 DOCTOTEXSED=../../../Manual/Reference/bin/doc-to-tex.sed 48 cat ${Help}/thms/mem/*.doc >> theorems.tex
|
/seL4-l4v-master/isabelle/src/Pure/Tools/ |
H A D | doc.scala | 1 /* Title: Pure/Tools/doc.scala 98 val isabelle_tool = Isabelle_Tool("doc", "view Isabelle documentation", args => 101 Usage: isabelle doc [DOC ...] 110 docs.foreach(doc => 111 entries.collectFirst { case Doc(name, _, path) if doc == name => path } match { 113 case None => error("No Isabelle documentation entry: " + quote(doc))
|
/seL4-l4v-master/l4v/isabelle/src/Pure/Tools/ |
H A D | doc.scala | 1 /* Title: Pure/Tools/doc.scala 98 val isabelle_tool = Isabelle_Tool("doc", "view Isabelle documentation", args => 101 Usage: isabelle doc [DOC ...] 110 docs.foreach(doc => 111 entries.collectFirst { case Doc(name, _, path) if doc == name => path } match { 113 case None => error("No Isabelle documentation entry: " + quote(doc))
|
/seL4-l4v-master/seL4/libsel4/tools/ |
H A D | invocation_header_gen.py | 163 doc = xml.dom.minidom.parse(xml_file) 169 for method in doc.getElementsByTagName("method"):
|
H A D | syscall_header_gen.py | 169 doc = xml.dom.minidom.parse(xml_file) 175 api = doc.getElementsByTagName(tag) 193 debug = doc.getElementsByTagName("debug")
|
/seL4-l4v-master/seL4/manual/tools/libsel4_tools/ |
H A D | invocation_header_gen.py | 163 doc = xml.dom.minidom.parse(xml_file) 169 for method in doc.getElementsByTagName("method"):
|
H A D | syscall_header_gen.py | 169 doc = xml.dom.minidom.parse(xml_file) 175 api = doc.getElementsByTagName(tag) 193 debug = doc.getElementsByTagName("debug")
|
/seL4-l4v-master/seL4/tools/ |
H A D | invocation_header_gen.py | 163 doc = xml.dom.minidom.parse(xml_file) 169 for method in doc.getElementsByTagName("method"):
|
H A D | syscall_header_gen.py | 169 doc = xml.dom.minidom.parse(xml_file) 175 api = doc.getElementsByTagName(tag) 193 debug = doc.getElementsByTagName("debug")
|