preuve promela traduite

[hdrcouchot.git] / images / texput.log

diff --git a/images/texput.log b/images/texput.log
index 8597ede089307d40a5d57d64e56f81da5217840c..9503c0cebbd387b4b3917c3213f43950f81860e3 100644 (file)
--- a/images/texput.log
+++ b/images/texput.log
@@ -1,4 +1,4 @@
-This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2010.9.1)  31 MAR 2011 21:10
+This is pdfTeX, Version 3.14159265-2.6-1.40.15 (TeX Live 2015/dev/Debian) (preloaded format=pdflatex 2015.4.24)  17 JUL 2015 16:13

 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.
 entering extended mode
  restricted \write18 enabled.
  %&-line parsing enabled.


@@ -11,11 +11,11 @@ End of file on the terminal!
 
  
 Here is how much of TeX's memory you used:
 
  
 Here is how much of TeX's memory you used:

- 3 strings out of 495061
- 105 string characters out of 1182622
- 45108 words of memory out of 3000000
- 3282 multiletter control sequences out of 15000+50000
- 3640 words of font info for 14 fonts, out of 3000000 for 9000
- 28 hyphenation exceptions out of 8191
- 0i,0n,0p,1b,6s stack positions out of 5000i,500n,10000p,200000b,50000s
+ 3 strings out of 494991
+ 113 string characters out of 6180055
+ 46069 words of memory out of 5000000
+ 3329 multiletter control sequences out of 15000+600000
+ 3640 words of font info for 14 fonts, out of 8000000 for 9000
+ 14 hyphenation exceptions out of 8191
+ 0i,0n,0p,1b,6s stack positions out of 5000i,500n,10000p,200000b,80000s

 !  ==> Fatal error occurred, no output PDF file produced!
 !  ==> Fatal error occurred, no output PDF file produced!