Changeset 49 for papers

Timestamp:

Mar 5, 2012, 5:32:03 PM (12 years ago)

Author:

cecile

Message:

add math font

Location:

papers/FDL2012

Files:

• FDL2012.log (modified) (5 diffs)
• Ubbold.fd (added)
• bbold.sty (added)
• bbold10.pfb (added)

papers/FDL2012/FDL2012.log

@@ -1 @@
-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 +531 @@
 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 +1305 @@
 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)
 <our_CEGAR_Loop_Enhanced_2S_PNG.png, id=88, 238.64156pt x 119.69719pt>
 File: our_CEGAR_Loop_Enhanced_2S_PNG.png Graphic file (type png)
@@ -1434 +1432 @@
  ) 
 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 +1443 @@
 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/lmbx10.pfb></usr/share/texlive/
+texmf-dist/fonts/type1/public/lm/lmbx12.pfb></usr/share/texlive/texmf-dist/font
+s/type1/public/lm/lmbxi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
+/lm/lmex10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmmi10.pfb>
+</usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmmi5.pfb></usr/share/texl
+ive/texmf-dist/fonts/type1/public/lm/lmmi7.pfb></usr/share/texlive/texmf-dist/f
+onts/type1/public/lm/lmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
+c/lm/lmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmr5.pfb></
+usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmr7.pfb></usr/share/texlive
+/texmf-dist/fonts/type1/public/lm/lmri10.pfb></usr/share/texlive/texmf-dist/fon
+ts/type1/public/lm/lmri12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
+/lm/lmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmsy5.pfb><
+/usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmsy7.pfb></usr/share/texli
+ve/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/share/texliv
+e/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.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)
+