Index: /papers/FDL2012/FDL2012.log =================================================================== --- /papers/FDL2012/FDL2012.log (revision 48) +++ /papers/FDL2012/FDL2012.log (revision 49) @@ -1,3 +1,3 @@ -This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2011) (format=pdflatex 2012.2.26) 5 MAR 2012 16:54 +This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2011) (format=pdflatex 2012.2.19) 5 MAR 2012 17:30 entering extended mode restricted \write18 enabled. @@ -531,6 +531,5 @@ LaTeX Font Info: Overwriting math alphabet `\mathbbmss' in version `bold' (Font) U/bbmss/m/n --> U/bbmss/bx/n on input line 35. -) -(/usr/share/texlive/texmf-dist/tex/latex/bbold/bbold.sty +) (./bbold.sty Package: bbold 1994/04/06 Bbold symbol package LaTeX Font Info: Redeclaring math alphabet \mathbb on input line 42. @@ -1306,6 +1305,5 @@ LaTeX Font Info: Try loading font information for U+bbold on input line 144. - -(/usr/share/texlive/texmf-dist/tex/latex/bbold/Ubbold.fd) + (./Ubbold.fd) File: our_CEGAR_Loop_Enhanced_2S_PNG.png Graphic file (type png) @@ -1434,6 +1432,6 @@ ) Here is how much of TeX's memory you used: - 18496 strings out of 492508 - 332773 string characters out of 3115493 + 18495 strings out of 492508 + 332547 string characters out of 3115493 452738 words of memory out of 3000000 21197 multiletter control sequences out of 15000+200000 @@ -1445,6 +1443,25 @@ fonts/enc/dvips/lm/lm-rm.enc}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/lm/ lm-mathit.enc}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/lm/lm-ec.enc}{/usr -/share/texlive/texmf-dist/fonts/enc/dvips/lm/lm-mathex.enc} -!pdfTeX error: pdflatex (file bbold10.pfb): cannot open Type 1 font file for re -ading - ==> Fatal error occurred, no output PDF file produced! +/share/texlive/texmf-dist/fonts/enc/dvips/lm/lm-mathex.enc}<./bbold10.pfb> +< +/usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmsy7.pfb> +Output written on FDL2012.pdf (7 pages, 353282 bytes). +PDF statistics: + 223 PDF objects out of 1000 (max. 8388607) + 186 compressed objects within 2 object streams + 40 named destinations out of 1000 (max. 500000) + 21652 words of extra memory for PDF output out of 24883 (max. 10000000) + Index: /papers/FDL2012/Ubbold.fd =================================================================== --- /papers/FDL2012/Ubbold.fd (revision 49) +++ /papers/FDL2012/Ubbold.fd (revision 49) @@ -0,0 +1,47 @@ +%% +%% This is file `Ubbold.fd', +%% generated with the docstrip utility. +%% +%% The original source files were: +%% +%% bbold.dtx (with options: `fontdef') +%% +%% IMPORTANT NOTICE: +%% +%% For the copyright see the source file. +%% +%% Any modified versions of this file must be renamed +%% with new filenames distinct from Ubbold.fd. +%% +%% For distribution of the original source see the terms +%% for copying and modification in the file bbold.dtx. +%% +%% This generated file may be distributed as long as the +%% original source files, as listed above, are part of the +%% same distribution. (The sources need not necessarily be +%% in the same archive or directory.) +%% \CharacterTable +%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z +%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z +%% Digits \0\1\2\3\4\5\6\7\8\9 +%% Exclamation \! Double quote \" Hash (number) \# +%% Dollar \$ Percent \% Ampersand \& +%% Acute accent \' Left paren \( Right paren \) +%% Asterisk \* Plus \+ Comma \, +%% Minus \- Point \. Solidus \/ +%% Colon \: Semicolon \; Less than \< +%% Equals \= Greater than \> Question mark \? +%% Commercial at \@ Left bracket \[ Backslash \\ +%% Right bracket \] Circumflex \^ Underscore \_ +%% Grave accent \` Left brace \{ Vertical bar \| +%% Right brace \} Tilde \~} +\DeclareFontFamily{U}{bbold}{} +\DeclareFontShape{U}{bbold}{m}{n} + { <5> <6> <7> <8> <9> gen * bbold + <10> <10.95> bbold10 + <12> <14.4> bbold12 + <17.28> <20.74> <24.88> bbold17 + }{} +\endinput +%% +%% End of file `Ubbold.fd'. Index: /papers/FDL2012/bbold.sty =================================================================== --- /papers/FDL2012/bbold.sty (revision 49) +++ /papers/FDL2012/bbold.sty (revision 49) @@ -0,0 +1,45 @@ +%% +%% This is file `bbold.sty', +%% generated with the docstrip utility. +%% +%% The original source files were: +%% +%% bbold.dtx (with options: `package') +%% +%% IMPORTANT NOTICE: +%% +%% For the copyright see the source file. +%% +%% Any modified versions of this file must be renamed +%% with new filenames distinct from bbold.sty. +%% +%% For distribution of the original source see the terms +%% for copying and modification in the file bbold.dtx. +%% +%% This generated file may be distributed as long as the +%% original source files, as listed above, are part of the +%% same distribution. (The sources need not necessarily be +%% in the same archive or directory.) +%% \CharacterTable +%% {Upper-case \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z +%% Lower-case \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z +%% Digits \0\1\2\3\4\5\6\7\8\9 +%% Exclamation \! Double quote \" Hash (number) \# +%% Dollar \$ Percent \% Ampersand \& +%% Acute accent \' Left paren \( Right paren \) +%% Asterisk \* Plus \+ Comma \, +%% Minus \- Point \. Solidus \/ +%% Colon \: Semicolon \; Less than \< +%% Equals \= Greater than \> Question mark \? +%% Commercial at \@ Left bracket \[ Backslash \\ +%% Right bracket \] Circumflex \^ Underscore \_ +%% Grave accent \` Left brace \{ Vertical bar \| +%% Right brace \} Tilde \~} +\NeedsTeXFormat{LaTeX2e} +\ProvidesPackage{bbold}[1994/04/06 Bbold symbol package] +\newcommand{\bbfamily}{\fontencoding{U}\fontfamily{bbold}\selectfont} +\newcommand{\textbb}[1]{{\bbfamily#1}} +\DeclareMathAlphabet{\mathbb}{U}{bbold}{m}{n} +\endinput +%% +%% End of file `bbold.sty'.