]> AND Private Git Repository - hdrcouchot.git/blobdiff - images/texput.log
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
preuve promela traduite
[hdrcouchot.git] / images / texput.log
index dfb78d356596094ece230c369a9ee45491e7bcf9..9503c0cebbd387b4b3917c3213f43950f81860e3 100644 (file)
@@ -1,4 +1,4 @@
-This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2014.4.22)  1 JUL 2014 08:43
+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,10 +11,10 @@ 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 494999
- 105 string characters out of 6180228
- 46040 words of memory out of 5000000
- 3324 multiletter control sequences out of 15000+600000
+ 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
  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