Ignore:
Timestamp:
Oct 25, 2011, 4:11:11 PM (8 years ago)
Author:
ayache
Message:

Added D5.1: Frama-C plug-in and Lustre wrapper. D2.2 (8051) has been updated accordingly.

File:
1 edited

Legend:

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

    r486 r1462  
    1 This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2010.11.2)  26 JAN 2011 10:53
     1This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=pdflatex 2011.5.2)  4 MAY 2011 16:43
    22entering extended mode
    3  restricted \write18 enabled.
    43 %&-line parsing enabled.
    54**report.tex
     
    784783Here is how much of TeX's memory you used:
    785784 8519 strings out of 495061
    786  110759 string characters out of 1182621
     785 110759 string characters out of 1182622
    787786 247727 words of memory out of 3000000
    788787 11290 multiletter control sequences out of 15000+50000
Note: See TracChangeset for help on using the changeset viewer.