Searched refs:doc (Results 1 - 25 of 67) sorted by relevance

123

/seL4-l4v-master/HOL4/developers/docfiles/
H A Dgen-documented.sh3 # 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 Dbuild_doc.scala29 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 Dbuild_doc.scala29 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 DMakefile13 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 Dtestspec.py86 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 Dmakefile16 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 DParseDoc.sig30 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 Ddocument_model.scala37 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 Dvscode_rendering.scala91 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 Ddocument_model.scala37 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 Dvscode_rendering.scala91 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 DwlogLib.sig4 (see doc/copyrights/public-domain-contributions.txt)
/seL4-l4v-master/HOL4/src/coretypes/pair-Manual/
H A DMakefile11 # 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 DMakefile11 # 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 DMakefile11 # 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 DMakefile11 # 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 DMakefile14 # 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 Ddoc.scala1 /* 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 Ddoc.scala1 /* 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 Dinvocation_header_gen.py163 doc = xml.dom.minidom.parse(xml_file)
169 for method in doc.getElementsByTagName("method"):
H A Dsyscall_header_gen.py169 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 Dinvocation_header_gen.py163 doc = xml.dom.minidom.parse(xml_file)
169 for method in doc.getElementsByTagName("method"):
H A Dsyscall_header_gen.py169 doc = xml.dom.minidom.parse(xml_file)
175 api = doc.getElementsByTagName(tag)
193 debug = doc.getElementsByTagName("debug")
/seL4-l4v-master/seL4/tools/
H A Dinvocation_header_gen.py163 doc = xml.dom.minidom.parse(xml_file)
169 for method in doc.getElementsByTagName("method"):
H A Dsyscall_header_gen.py169 doc = xml.dom.minidom.parse(xml_file)
175 api = doc.getElementsByTagName(tag)
193 debug = doc.getElementsByTagName("debug")

Completed in 462 milliseconds

123