| /seL4-l4v-10.1.1/seL4/tools/python-deps/ |
| H A D | setup.py | 47 author='TrustworthySystems', variable
|
| /seL4-l4v-10.1.1/l4v/misc/git-commit-emails/ |
| H A D | commit-email.py | 171 "author: %s <%s>" % (commit.author.name, as_utf8(commit.author.email)),
190 encode_unicode_header(commit.author.name),
191 encode_unicode_header(as_utf8(commit.author.email))),
193 encode_unicode_header(commit.author.name), from_addr),
215 c.author.name))
220 authors = set([x.author.email for x in commits])
221 author = "Verification Team"
224 author
[all...] |
| /seL4-l4v-10.1.1/isabelle/src/HOL/Proofs/Lambda/document/ |
| H A D | root.tex | 14 \author{Tobias Nipkow \\ Stefan Berghofer}
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Proofs/Lambda/document/ |
| H A D | root.tex | 14 \author{Tobias Nipkow \\ Stefan Berghofer}
|
| /seL4-l4v-10.1.1/isabelle/src/Pure/Tools/ |
| H A D | mkroot.scala | 27 author: String = "",
111 \author{""" + (proper_string(author) getOrElse latex_name(System.getProperty("user.name"))) + """}
181 var author = ""
190 -A LATEX provide author in LaTeX notation (default: user name)
197 "A:" -> (arg => author = arg),
212 author = author, title = title, progress = new Console_Progress)
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Pure/Tools/ |
| H A D | mkroot.scala | 27 author: String = "",
111 \author{""" + (proper_string(author) getOrElse latex_name(System.getProperty("user.name"))) + """}
181 var author = ""
190 -A LATEX provide author in LaTeX notation (default: user name)
197 "A:" -> (arg => author = arg),
212 author = author, title = title, progress = new Console_Progress)
|
| /seL4-l4v-10.1.1/HOL4/src/quotient/examples/ |
| H A D | ind_rel.sig | 3 (* Part of the author's doctoral dissertation *)
|
| /seL4-l4v-10.1.1/isabelle/src/Doc/Prog_Prove/document/ |
| H A D | root.tex | 11 \author{Tobias Nipkow}
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Prog_Prove/document/ |
| H A D | root.tex | 11 \author{Tobias Nipkow}
|
| /seL4-l4v-10.1.1/isabelle/src/Doc/Eisbach/document/ |
| H A D | root.tex | 22 \author{Daniel Matichuk \\
49 % This sort of command for each active author can be convenient
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Eisbach/document/ |
| H A D | root.tex | 22 \author{Daniel Matichuk \\
49 % This sort of command for each active author can be convenient
|
| /seL4-l4v-10.1.1/isabelle/src/HOL/MicroJava/document/ |
| H A D | root.tex | 28 \author{Gerwin Klein \and Tobias Nipkow \and David von Oheimb \and
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/MicroJava/document/ |
| H A D | root.tex | 28 \author{Gerwin Klein \and Tobias Nipkow \and David von Oheimb \and
|
| /seL4-l4v-10.1.1/isabelle/src/Doc/Isar_Ref/document/ |
| H A D | root.tex | 28 \author{\emph{Makarius Wenzel} \\[3ex]
|
| /seL4-l4v-10.1.1/isabelle/src/Doc/Tutorial/document/ |
| H A D | root.tex | 36 \author{Tobias Nipkow \quad Lawrence C. Paulson \quad Markus Wenzel%\\[1ex]
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Isar_Ref/document/ |
| H A D | root.tex | 28 \author{\emph{Makarius Wenzel} \\[3ex]
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Tutorial/document/ |
| H A D | root.tex | 36 \author{Tobias Nipkow \quad Lawrence C. Paulson \quad Markus Wenzel%\\[1ex]
|
| /seL4-l4v-10.1.1/isabelle/src/Doc/JEdit/document/ |
| H A D | root.tex | 25 \author{\emph{Makarius Wenzel}}
|
| /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/document/ |
| H A D | root.tex | 25 \author{Tobias Nipkow}
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/Doc/JEdit/document/ |
| H A D | root.tex | 25 \author{\emph{Makarius Wenzel}}
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Data_Structures/document/ |
| H A D | root.tex | 25 \author{Tobias Nipkow}
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Hahn_Banach/document/ |
| H A D | root.tex | 19 \author{Gertrud Bauer}
|
| /seL4-l4v-10.1.1/isabelle/src/HOL/Hahn_Banach/document/ |
| H A D | root.tex | 19 \author{Gertrud Bauer}
|
| /seL4-l4v-10.1.1/isabelle/src/HOL/Statespace/document/ |
| H A D | root.tex | 14 \author{Norbert Schirmer}
|
| /seL4-l4v-10.1.1/l4v/isabelle/src/HOL/Statespace/document/ |
| H A D | root.tex | 14 \author{Norbert Schirmer}
|