Searched refs:PDF (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/isabelle/lib/Tools/
H A Dbrowser80 PDF=""
84 PDF=true
95 if [ -n "$PDF" ]; then
/seL4-l4v-10.1.1/l4v/isabelle/lib/Tools/
H A Dbrowser80 PDF=""
84 PDF=true
95 if [ -n "$PDF" ]; then
/seL4-l4v-10.1.1/isabelle/src/Doc/Tutorial/document/
H A Ddocuments0.tex11 based on existing PDF-{\LaTeX} technology (see
/seL4-l4v-10.1.1/l4v/isabelle/src/Doc/Tutorial/document/
H A Ddocuments0.tex11 based on existing PDF-{\LaTeX} technology (see
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dtexinfo.tex1107 % PDF uses PostScript string constants for the names of xref targets,
1132 with PDF output, and none of those formats could be found. (.eps cannot
1133 be supported due to the design of the PDF format; use regular TeX (DVI
1190 % pdftex (and the PDF format) support .pdf, .png, .jpg (among
1191 % others). Let's try in that order, PDF first since if
1197 \openin 1 #1.PDF \ifeof 1
1212 \else \gdef\pdfimgext{PDF}%
1257 % Adding outlines to PDF; macros for calculating structure of outlines
1283 % Also escape PDF chars in the display string.
1341 % PDF outline
[all...]
/seL4-l4v-10.1.1/l4v/misc/vim/
H A Disabelle.vim113 " working on a PDF-destined theory. This is off by default because it can be a

Completed in 98 milliseconds