]> 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.
@@ -11,10 +11,10 @@ End of file on the terminal!
 
  
 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