Changeset 1694


Ignore:
Timestamp:
Feb 15, 2012, 9:30:08 AM (6 years ago)
Author:
tranquil
Message:

indexed labels branch

Location:
Deliverables
Files:
1 added
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.1/report.log

    r1462 r1694  
    1 This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.5.2)  4 MAY 2011 16:43
     1This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.12.11)  26 JAN 2012 18:29
    22entering extended mode
    33 %&-line parsing enabled.
     
    66LaTeX2e <2009/09/24>
    77Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
    8 yphenation, loaded.
     8yphenation, french, basque, italian, loaded.
    99(/usr/share/texmf-texlive/tex/latex/base/article.cls
    1010Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
     
    106106(etexcmds)             In the latter case, load this package earlier.
    107107)
    108 (/etc/texmf/tex/latex/config/hyperref.cfg
     108(/usr/share/texmf-texlive/tex/latex/latexconfig/hyperref.cfg
    109109File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
    110110)
     
    416416LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 538.
    417417LaTeX Font Info:    ... okay on input line 538.
    418  (/usr/share/texmf/tex/context/base/supp-pdf.mkii
     418 (/usr/share/texmf-texlive/tex/context/base/supp-pdf.mkii
    419419[Loading MPS to PDF converter (version 2006.09.02).]
    420420\scratchcounter=\count119
     
    782782 )
    783783Here is how much of TeX's memory you used:
    784  8519 strings out of 495061
    785  110759 string characters out of 1182622
     784 8519 strings out of 495021
     785 110821 string characters out of 1180925
    786786 247727 words of memory out of 3000000
    787  11290 multiletter control sequences out of 15000+50000
     787 11300 multiletter control sequences out of 15000+50000
    788788 28130 words of font info for 114 fonts, out of 3000000 for 9000
    789789 28 hyphenation exceptions out of 8191
  • Deliverables/D5.1-5.3/cost-plug-in-indexed-labels-branch/plugin/README

    r1462 r1694  
    33
    44This is a Frama-C plug-in that makes the synthesis of the results of the CerCo
    5 compiler.
     5compiler. Notice that this is a preliminary version, that does not support
     6nested loops yet.
    67
    78 Requirements
Note: See TracChangeset for help on using the changeset viewer.