Frama-C Bug Tracking System - Frama-C
View Issue Details
0001771Frama-CDocumentationpublic2014-05-02 10:062016-06-21 14:13
jens 
correnson 
lowminoralways
closedfixed 
OSX
Frama-C Neon-20140301 
Frama-C Magnesium 
0001771: quality of pdf files
This might sound very subjective but I always have the feeling that the various pdf files of the Frama-C documentation look a bit blurred. I do not observe this with my own pdf files that I generate from latex. It is neither related to Neon nor am I using a retina display. I wonder whether you are using the "computer modern" family of type faces.
Compare http://www.fokus.fraunhofer.de/de/sqc/_download_sqc/ACSL-by-Example.pdf with http://frama-c.com/download/acsl-implementation-Neon-20140301.pdf
No tags attached.
Issue History
2014-05-02 10:06jensNew Issue
2014-05-02 10:06jensStatusnew => assigned
2014-05-02 10:06jensAssigned To => signoles
2014-05-15 09:57signolesAssigned Tosignoles => correnson
2014-05-15 09:59signolesNote Added: 0005095
2014-05-15 13:00corrensonNote Added: 0005096
2014-05-22 10:50yakobowskiNote Added: 0005124
2014-05-22 11:23jensNote Added: 0005125
2015-04-06 09:35jensNote Added: 0005864
2015-04-06 17:46yakobowskiNote Added: 0005865
2015-04-07 09:17corrensonNote Added: 0005866
2015-04-07 09:49corrensonNote Added: 0005867
2015-04-07 09:59signolesStatusassigned => resolved
2015-04-07 09:59signolesResolutionopen => fixed
2016-01-26 08:51signolesFixed in Version => Frama-C Magnesium
2016-01-26 08:52signolesStatusresolved => closed
2016-06-21 14:11signolesCategoryDocumentation => Documentation > ACSL
2016-06-21 14:13signolesCategoryDocumentation > ACSL => Documentation

Notes
(0005095)
signoles   
2014-05-15 09:59   
@Loïc: you're probably the guy who has the more knowledge about frama-c-book.cls and related files... Not sure if it is possible to improve it...
(0005096)
correnson   
2014-05-15 13:00   
Yes, I already noticed that. Surprisingly, all the PDF generated from my Mac OS installation of LaTeX are much BETTER than the same LaTeX files generated from Linux. To the point I generally re-generate all Frama-C documentation on my side. I do not understand why, but I should investigate that problem.
(0005124)
yakobowski   
2014-05-22 10:50   
There is another potential issue, which is Searching for text and copy-pasting is severely broken in some viewers such as Evince. This is what obtains when copy-pasting "downcast" and "Downcast" from RTE's manual: ❞♦✇♥❝❛st ❉♦✇♥❝❛st This is perhaps due to some ligatures, but in any case the generation of the pdf "hidden" text is broken.
(0005125)
jens   
2014-05-22 11:23   
If you wish, then you can send me the latex sources of one of your documents and I can try to figure out a solution. (I have an account on Frama-C's gitlab (but of course not to the private stuff), so I could also use this and create a merge request.)
(0005864)
jens   
2015-04-06 09:35   
A remark on the pdf files in the sodium release: In general the quality of the pdf files has greatly improved. Thanks! The only exception I have noticed so far is the WP manual http://frama-c.com/download/wp-manual-Sodium-20150201.pdf Here the font stills looks blurry and going from one to the next page still takes at least one second (whereas with the other files this is an immediate operation).
(0005865)
yakobowski   
2015-04-06 17:46   
We tweaked our LaTeX configuration file, which probably explains the improvements you noticed. Unfortunately, WP has its own copy of frama-c-book.cls, and did not benefit of the upgrade.
(0005866)
correnson   
2015-04-07 09:17   
Argh!! It should be copied automatically from the shared one...
(0005867)
correnson   
2015-04-07 09:49   
Commit cd5dc10ac8acb3f0aa1